Index: tests/.expect/poly-selection.txt
===================================================================
--- tests/.expect/poly-selection.txt	(revision 3d3d75eb4ea6008393efa68d4b33000cc41e526a)
+++ tests/.expect/poly-selection.txt	(revision 3d3d75eb4ea6008393efa68d4b33000cc41e526a)
@@ -0,0 +1,2 @@
+friending generically
+friending specifically
Index: tests/poly-selection.cfa
===================================================================
--- tests/poly-selection.cfa	(revision 3d3d75eb4ea6008393efa68d4b33000cc41e526a)
+++ tests/poly-selection.cfa	(revision 3d3d75eb4ea6008393efa68d4b33000cc41e526a)
@@ -0,0 +1,40 @@
+//
+// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
+//
+// The contents of this file are covered under the licence agreement in the
+// file "LICENCE" distributed with Cforall.
+//
+// poly-selection.cfa -- tests that show correct candidates selected, given interesting cases of
+//                       forall/overload polymoprphism
+//
+// Author           : Michael Brooks
+// Created On       : Mon Jan 18 15:00:00 2021
+// Last Modified By : Michael Brooks
+// Last Modified On : Mon Jan 18 15:00:00 2021
+// Update Count     : 1
+//
+
+void testSpecializationFromGenericOverBareTyvar() {
+    forall( dtype T )
+    void friend( T & ) {
+        printf("friending generically\n");
+    }
+
+    forall(dtype T)
+    struct thing {
+        int x;
+    };
+
+    forall( dtype T )
+    void friend( thing(T) & ) {
+        printf("friending specifically\n");
+    }
+
+    float x;           friend( x );
+    thing(float) y;    friend( y );
+}
+
+
+int main() {
+    testSpecializationFromGenericOverBareTyvar();
+}