| Index: tests/compiler/dart2js/simple_inferrer_test.dart
|
| diff --git a/tests/compiler/dart2js/simple_inferrer_test.dart b/tests/compiler/dart2js/simple_inferrer_test.dart
|
| index fc6fe0aba3829f7253ec418062e8daf7b93dd5e8..14ef813474694ef6c7ef24ff0fbea42073270923 100644
|
| --- a/tests/compiler/dart2js/simple_inferrer_test.dart
|
| +++ b/tests/compiler/dart2js/simple_inferrer_test.dart
|
| @@ -544,7 +544,10 @@ void main() {
|
| checkReturn('testLabeledIf', typesTask.intType.nullable());
|
| checkReturn('testSwitch1', typesTask.intType
|
| .union(typesTask.doubleType, compiler).nullable().simplify(compiler));
|
| - checkReturn('testSwitch2', typesTask.intType);
|
| + // TODO(12320): testSwitch2 should be non-nullable. The quick fix for 12320
|
| + // models control flow through as though there is an additional empty default
|
| + // case.
|
| + checkReturn('testSwitch2', typesTask.intType.nullable());
|
| checkReturn('testSwitch3', interceptorType.nullable());
|
| checkReturn('testSwitch4', typesTask.intType);
|
| checkReturn('testContinue1', interceptorType.nullable());
|
|
|