Tests for pull request #2717 (GH ticket #2714)

S14-roles/typecheck.t

@@ -3,7 +3,7 @@ use lib $?FILE.IO.parent(2).add("packages/Roles/lib");
 
 use Test;
 
-plan 4;
+plan 7;
 
 # GH #2613
 use GH2613;
@@ -13,3 +13,18 @@ ok TestGH2613.^does(R1), "class typecheck against short role name";
 ok TestGH2613.^does(GH2613::R1), "class typecheck against full role name";
 ok TestGH2613 ~~ R1, "class smartmatches against short role name";
 ok TestGH2613 ~~ GH2613::R1, "class smartmatches against full role name";
+
+# GH #2714
+{
+    my class C2714_1 { }
+    my class C2714_2 { }
+    my role R2714_1 is C2714_1 { }
+    my role R2714_1[::T] is C2714_2 { }
+
+    ok R2714_1 ~~ C2714_1, "Role group matches a parent class of its non-parameterized member";
+    nok R2714_1 ~~ C2714_2, "Role group doesn't a parent class of a parameterized member";
+
+    #?rakudo: 1 todo "Must work with a fix for GH #2698"
+    my \r = R2714_1[Int];
+    ok r ~~ C2714_2, "Curryied role matches its parent class";
+}