Index: runtime/vm/intermediate_language.cc |
diff --git a/runtime/vm/intermediate_language.cc b/runtime/vm/intermediate_language.cc |
index 894d7fa7912055d89f517c2c9b7cee6f83200f47..002d6dfffde83e78819d1c3fb3ab8c2dfdcd63be 100644 |
--- a/runtime/vm/intermediate_language.cc |
+++ b/runtime/vm/intermediate_language.cc |
@@ -2064,16 +2064,11 @@ Definition* AssertAssignableInstr::Canonicalize(FlowGraph* flow_graph) { |
value()->Type()->IsAssignableTo(dst_type())) { |
return value()->definition(); |
} |
- |
- // For uninstantiated target types: If the instantiator and function |
- // type arguments are constant, instantiate the target type here. |
- // If the uninstantiated type refers to parent function type parameters, we |
- // cannot instantiated it here. |
- if (dst_type().IsInstantiated() || |
- !dst_type().IsInstantiated(kParentFunctions)) { |
+ if (dst_type().IsInstantiated()) { |
return this; |
} |
- |
+ // For uninstantiated target types: If the instantiator and function |
+ // type arguments are constant, instantiate the target type here. |
ConstantInstr* constant_instantiator_type_args = |
instantiator_type_arguments()->definition()->AsConstant(); |
ConstantInstr* constant_function_type_args = |