Treat the expression as resolved if the primary_type is nil, as in `r…

…eturn`. mirah#157
abscondment · Dec 14, 2011 · 2fddffe · 2fddffe
1 parent 1a5c40e
commit 2fddffe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/mirah/ast/flow.rb b/lib/mirah/ast/flow.rb
@@ -344,7 +344,7 @@ def infer(typer, expression)
           if types.any? {|t| t.nil?}
             typer.defer(self)
           else
-            if !expression || clause_types.all?{ |t| primary_type.compatible? t}
+            if !expression || primary_type.nil? || clause_types.all?{ |t| primary_type.compatible? t}
               resolved!
               types.each do |type|
                 @inferred_type ||= type unless type.unreachable?