| Index: sdk/lib/_internal/compiler/implementation/ssa/optimize.dart
|
| ===================================================================
|
| --- sdk/lib/_internal/compiler/implementation/ssa/optimize.dart (revision 18311)
|
| +++ sdk/lib/_internal/compiler/implementation/ssa/optimize.dart (working copy)
|
| @@ -1531,6 +1531,7 @@
|
| user.selector, inputs, node.interceptedClasses);
|
| interceptor.sourcePosition = user.sourcePosition;
|
| interceptor.sourceElement = user.sourceElement;
|
| + interceptor.guaranteedType = user.guaranteedType;
|
|
|
| HBasicBlock block = user.block;
|
| block.addAfter(user, interceptor);
|
|
|