Index: pkg/compiler/lib/src/inferrer/type_graph_nodes.dart |
diff --git a/pkg/compiler/lib/src/inferrer/type_graph_nodes.dart b/pkg/compiler/lib/src/inferrer/type_graph_nodes.dart |
index ad31d89c54db2eba0deb05784d6406bd1fa6b6a6..7cf31f09427438621ece2f0e6b17db26b3633097 100644 |
--- a/pkg/compiler/lib/src/inferrer/type_graph_nodes.dart |
+++ b/pkg/compiler/lib/src/inferrer/type_graph_nodes.dart |
@@ -640,7 +640,7 @@ class ParameterTypeInformation extends ElementTypeInformation { |
giveUp(inferrer); |
return safeType(inferrer); |
} |
- if (inferrer.compiler.inferenceWorld |
+ if (inferrer.closedWorldRefiner |
.getCurrentlyKnownMightBePassedToApply(declaration)) { |
giveUp(inferrer); |
return safeType(inferrer); |