Changes in src/ResolvExpr/Resolver.cc [d286cf68:2a08c25]

File:

• src/ResolvExpr/Resolver.cc (modified) (1 diff)

src/ResolvExpr/Resolver.cc

@@ -582 +582 @@
 
                                                         // Make sure we don't widen any existing bindings
-                                                        resultEnv.forbidWidening();
-                                                        
+                                                        for ( auto & i : resultEnv ) {
+                                                                i.allowWidening = false;
+                                                        }
+
                                                         // Find any unbound type variables
                                                         resultEnv.extractOpenVars( openVars );