work around X::Parameter::Default::TypeCheck not understanding native…

… parameters
rakudo · Jul 2, 2015 · 9b4463d · 9b4463d
1 parent d9e3070
commit 9b4463d
Showing 1 changed file with 13 additions and 11 deletions.
diff --git a/src/Perl6/Actions.nqp b/src/Perl6/Actions.nqp
@@ -3917,17 +3917,19 @@ Compilation unit '$file' contained the following violations:
     sub check_param_default_type($/, $value) {
         if nqp::existskey(%*PARAM_INFO, 'nominal_type') {
             my $expected := %*PARAM_INFO<nominal_type>;
-            unless nqp::istype($value, $expected) {
-                # Ensure both types are composed before complaining,
-                # or we give spurious errors on stubbed things or
-                # things we're in the middle of compiling.
-                my $got_comp := try $value.HOW.is_composed($value);
-                my $exp_comp := try $expected.HOW.is_composed($expected);
-                if $got_comp && $exp_comp {
-                    $<default_value>[0].CURSOR.typed_sorry(
-                        'X::Parameter::Default::TypeCheck',
-                        got => $value,
-                        expected => %*PARAM_INFO<nominal_type>);
+            if nqp::objprimspec($expected) == 0 {
+                unless nqp::istype($value, $expected) {
+                    # Ensure both types are composed before complaining,
+                    # or we give spurious errors on stubbed things or
+                    # things we're in the middle of compiling.
+                    my $got_comp := try $value.HOW.is_composed($value);
+                    my $exp_comp := try $expected.HOW.is_composed($expected);
+                    if $got_comp && $exp_comp {
+                        $<default_value>[0].CURSOR.typed_sorry(
+                            'X::Parameter::Default::TypeCheck',
+                            got => $value,
+                            expected => %*PARAM_INFO<nominal_type>);
+                    }
                 }
             }
         }