compile-time dispatch shall inspect a Want node's WVal.

rakudo · Sep 14, 2015 · 934893b · 934893b
1 parent b3d2f2a
commit 934893b
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/Perl6/Optimizer.nqp b/src/Perl6/Optimizer.nqp
@@ -1637,6 +1637,11 @@ class Perl6::Optimizer {
 
             # See if we know the node's type; if so, check it.
             my $type := $_.returns();
+            if $type =:= NQPMu {
+                if nqp::istype($_, QAST::Want) && nqp::istype($_[0], QAST::WVal) {
+                    $type := $_[0].value.WHAT;
+                }
+            }
             my $ok_type := 0;
             try $ok_type := nqp::istype($type, $!symbols.Mu) &&
                 $type.HOW.archetypes.nominal();