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

File:

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

src/ResolvExpr/Resolver.cc

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