[cfe] Don't emit warnings on null-aware access on non-nullable

Change-Id: I94f3011f69330f5b2d8998f29eb9511517e1fffa
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/357301
Reviewed-by: Chloe Stefantsova <cstefantsova@google.com>
Reviewed-by: Erik Ernst <eernst@google.com>
Commit-Queue: Johnni Winther <johnniwinther@google.com>

pkg/_fe_analyzer_shared/lib/src/messages/codes_generated.dart

@@ -1392,36 +1392,6 @@ const MessageCode messageClassInClass = const MessageCode(
   correctionMessage: r"""Try moving the class to the top-level.""",
 );
 
-// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
-const Template<Message Function(String name)> templateClassInNullAwareReceiver =
-    const Template<Message Function(String name)>(
-  "ClassInNullAwareReceiver",
-  problemMessageTemplate: r"""The class '#name' cannot be null.""",
-  correctionMessageTemplate: r"""Try replacing '?.' with '.'""",
-  withArguments: _withArgumentsClassInNullAwareReceiver,
-);
-
-// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
-const Code<Message Function(String name)> codeClassInNullAwareReceiver =
-    const Code<Message Function(String name)>(
-  "ClassInNullAwareReceiver",
-  severity: Severity.warning,
-);
-
-// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
-Message _withArgumentsClassInNullAwareReceiver(String name) {
-  if (name.isEmpty) throw 'No name provided';
-  name = demangleMixinApplicationName(name);
-  return new Message(
-    codeClassInNullAwareReceiver,
-    problemMessage: """The class '${name}' cannot be null.""",
-    correctionMessage: """Try replacing '?.' with '.'""",
-    arguments: {
-      'name': name,
-    },
-  );
-}
-
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 const Code<Null> codeColonInPlaceOfIn = messageColonInPlaceOfIn;
 
@@ -5227,37 +5197,6 @@ const MessageCode messageExtensionDeclaresInstanceField = const MessageCode(
       r"""Try removing the field declaration or making it a static field""",
 );
 
-// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
-const Template<Message Function(String name)>
-    templateExtensionInNullAwareReceiver =
-    const Template<Message Function(String name)>(
-  "ExtensionInNullAwareReceiver",
-  problemMessageTemplate: r"""The extension '#name' cannot be null.""",
-  correctionMessageTemplate: r"""Try replacing '?.' with '.'""",
-  withArguments: _withArgumentsExtensionInNullAwareReceiver,
-);
-
-// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
-const Code<Message Function(String name)> codeExtensionInNullAwareReceiver =
-    const Code<Message Function(String name)>(
-  "ExtensionInNullAwareReceiver",
-  severity: Severity.warning,
-);
-
-// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
-Message _withArgumentsExtensionInNullAwareReceiver(String name) {
-  if (name.isEmpty) throw 'No name provided';
-  name = demangleMixinApplicationName(name);
-  return new Message(
-    codeExtensionInNullAwareReceiver,
-    problemMessage: """The extension '${name}' cannot be null.""",
-    correctionMessage: """Try replacing '?.' with '.'""",
-    arguments: {
-      'name': name,
-    },
-  );
-}
-
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 const Template<Message Function(String name)>
     templateExtensionMemberConflictsWithObjectMember =
@@ -12703,18 +12642,6 @@ const MessageCode messageNeverReachableSwitchDefaultError = const MessageCode(
       r"""`null` encountered as case in a switch expression with a non-nullable enum type.""",
 );
 
-// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
-const Code<Null> codeNeverReachableSwitchDefaultWarning =
-    messageNeverReachableSwitchDefaultWarning;
-
-// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
-const MessageCode messageNeverReachableSwitchDefaultWarning = const MessageCode(
-  "NeverReachableSwitchDefaultWarning",
-  severity: Severity.warning,
-  problemMessage:
-      r"""The default case is not reachable with sound null safety because the switch expression is non-nullable.""",
-);
-
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 const Code<Null> codeNeverReachableSwitchExpressionError =
     messageNeverReachableSwitchExpressionError;
@@ -12748,17 +12675,6 @@ const MessageCode messageNeverValueError = const MessageCode(
       r"""`null` encountered as the result from expression with type `Never`.""",
 );
 
-// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
-const Code<Null> codeNeverValueWarning = messageNeverValueWarning;
-
-// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
-const MessageCode messageNeverValueWarning = const MessageCode(
-  "NeverValueWarning",
-  severity: Severity.warning,
-  problemMessage:
-      r"""The expression can not result in a value with sound null safety because the expression type is `Never`.""",
-);
-
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 const Code<Null> codeNewAsSelector = messageNewAsSelector;
 
@@ -15327,18 +15243,6 @@ const MessageCode messageReturnTypeFunctionExpression = const MessageCode(
   problemMessage: r"""A function expression can't have a return type.""",
 );
 
-// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
-const Code<Null> codeReturnWithoutExpression = messageReturnWithoutExpression;
-
-// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
-const MessageCode messageReturnWithoutExpression = const MessageCode(
-  "ReturnWithoutExpression",
-  analyzerCodes: <String>["RETURN_WITHOUT_VALUE"],
-  severity: Severity.warning,
-  problemMessage:
-      r"""Must explicitly return a value from a non-void function.""",
-);
-
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 const Code<Null> codeReturnWithoutExpressionAsync =
     messageReturnWithoutExpressionAsync;
@@ -16412,17 +16316,6 @@ const MessageCode messageThisAsIdentifier = const MessageCode(
   problemMessage: r"""Expected identifier, but got 'this'.""",
 );
 
-// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
-const Code<Null> codeThisInNullAwareReceiver = messageThisInNullAwareReceiver;
-
-// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
-const MessageCode messageThisInNullAwareReceiver = const MessageCode(
-  "ThisInNullAwareReceiver",
-  severity: Severity.warning,
-  problemMessage: r"""The receiver 'this' cannot be null.""",
-  correctionMessage: r"""Try replacing '?.' with '.'""",
-);
-
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 const Template<Message Function(String string)> templateThisNotPromoted =
     const Template<Message Function(String string)>(
@@ -17405,47 +17298,6 @@ const MessageCode messageUnnamedObjectPatternField = const MessageCode(
       r"""Try adding a pattern name or ':' before the pattern.""",
 );
 
-// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
-const Code<Null> codeUnnecessaryNullAssertPattern =
-    messageUnnecessaryNullAssertPattern;
-
-// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
-const MessageCode messageUnnecessaryNullAssertPattern = const MessageCode(
-  "UnnecessaryNullAssertPattern",
-  analyzerCodes: <String>["UNNECESSARY_NULL_ASSERT_PATTERN"],
-  severity: Severity.warning,
-  problemMessage:
-      r"""The null-assert pattern will have no effect because the matched type isn't nullable.""",
-  correctionMessage:
-      r"""Try replacing the null-assert pattern with its nested pattern.""",
-);
-
-// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
-const Code<Null> codeUnnecessaryNullCheckPattern =
-    messageUnnecessaryNullCheckPattern;
-
-// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
-const MessageCode messageUnnecessaryNullCheckPattern = const MessageCode(
-  "UnnecessaryNullCheckPattern",
-  analyzerCodes: <String>["UNNECESSARY_NULL_CHECK_PATTERN"],
-  severity: Severity.warning,
-  problemMessage:
-      r"""The null-check pattern will have no effect because the matched type isn't nullable.""",
-  correctionMessage:
-      r"""Try replacing the null-check pattern with its nested pattern.""",
-);
-
-// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
-const Code<Null> codeUnreachableSwitchCase = messageUnreachableSwitchCase;
-
-// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
-const MessageCode messageUnreachableSwitchCase = const MessageCode(
-  "UnreachableSwitchCase",
-  analyzerCodes: <String>["UNREACHABLE_SWITCH_CASE"],
-  severity: Severity.warning,
-  problemMessage: r"""This case is covered by the previous cases.""",
-);
-
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 const Template<Message Function(String name, String name2)>
     templateUnresolvedPrefixInTypeAnnotation =

pkg/_fe_analyzer_shared/lib/src/type_inference/type_analyzer.dart

@@ -2551,7 +2551,7 @@ abstract class TypeAnalyzerErrors<
 
   /// Called when a null-assert or null-check pattern is used with the matched
   /// type that is strictly non-nullable, so the null check is not necessary.
-  Error matchedTypeIsStrictlyNonNullable({
+  Error? matchedTypeIsStrictlyNonNullable({
     required Pattern pattern,
     required Type matchedType,
   });

pkg/dartdev/test/commands/compile_test.dart

@@ -631,33 +631,6 @@ void main() {
         reason: 'File not found: $outFile');
   }, skip: isRunningOnIA32);
 
-  test('Compile exe with warnings', () async {
-    final p = project(mainSrc: '''
-void main() {
-  int i = 0;
-  i?.isEven;
-}
-''');
-    final inFile = path.canonicalize(path.join(p.dirPath, p.relativeFilePath));
-    final outFile = path.canonicalize(path.join(p.dirPath, 'myexe'));
-
-    final result = await p.run(
-      [
-        'compile',
-        'exe',
-        '-o',
-        outFile,
-        inFile,
-      ],
-    );
-
-    expect(result.stdout, contains('Warning: '));
-    expect(result.stderr, isEmpty);
-    expect(result.exitCode, 0);
-    expect(File(outFile).existsSync(), true,
-        reason: 'File not found: $outFile');
-  }, skip: isRunningOnIA32);
-
   test('Compile exe with sound null safety', () async {
     final p = project(mainSrc: '''void main() {}''');
     final inFile = path.canonicalize(path.join(p.dirPath, p.relativeFilePath));
@@ -892,32 +865,6 @@ void main() {
         reason: 'File not found: $outFile');
   }, skip: isRunningOnIA32);
 
-  test('Compile wasm with warnings', () async {
-    final p = project(mainSrc: '''
-void main() {
-  int i = 0;
-  i?.isEven;
-}
-''');
-    final inFile = path.canonicalize(path.join(p.dirPath, p.relativeFilePath));
-    final outFile = path.canonicalize(path.join(p.dirPath, 'mywasm.wasm'));
-
-    final result = await p.run(
-      [
-        'compile',
-        'wasm',
-        '-o',
-        outFile,
-        inFile,
-      ],
-    );
-
-    expect(result.stderr, contains('Warning: '));
-    expect(result.exitCode, 0);
-    expect(File(outFile).existsSync(), true,
-        reason: 'File not found: $outFile');
-  }, skip: isRunningOnIA32);
-
   test('Compile JS with sound null safety', () async {
     final p = project(mainSrc: '''void main() {}''');
     final inFile = path.canonicalize(path.join(p.dirPath, p.relativeFilePath));
@@ -1090,35 +1037,6 @@ void main() {
     expect(result.exitCode, 0);
   }, skip: isRunningOnIA32);
 
-  test('Compile AOT snapshot with warnings', () async {
-    final p = project(mainSrc: '''
-void main() {
-  int i = 0;
-  i?.isEven;
-}
-''');
-    final inFile = path.canonicalize(path.join(p.dirPath, p.relativeFilePath));
-    final outFile = path.canonicalize(path.join(p.dirPath, 'myaot'));
-
-    final result = await p.run(
-      [
-        'compile',
-        'aot-snapshot',
-        '--verbosity=warning',
-        '-o',
-        outFile,
-        inFile,
-      ],
-    );
-
-    // Only printed when -v/--verbose is used, not --verbosity.
-    expect(result.stdout, isNot(contains(usingTargetOSMessage)));
-    expect(result.stdout, isNot(contains(soundNullSafetyMessage)));
-    expect(result.stdout, contains('Warning: '));
-    expect(result.stderr, isEmpty);
-    expect(result.exitCode, 0);
-  }, skip: isRunningOnIA32);
-
   test('Compile AOT snapshot from kernel', () async {
     final p = project(mainSrc: '''
 void main() {}
@@ -1358,31 +1276,6 @@ void main() {
     expect(result.exitCode, 64);
   });
 
-  test('Compile kernel with warnings', () async {
-    final p = project(mainSrc: '''
-void main() {
-    int i = 0;
-    i?.isEven;
-}''');
-    final inFile = path.canonicalize(path.join(p.dirPath, p.relativeFilePath));
-    final outFile = path.canonicalize(path.join(p.dirPath, 'mydill'));
-
-    final result = await p.run(
-      [
-        'compile',
-        'kernel',
-        '--verbosity=warning',
-        '-o',
-        outFile,
-        inFile,
-      ],
-    );
-
-    expect(result.stderr, isNot(contains(soundNullSafetyMessage)));
-    expect(result.stdout, contains('Warning:'));
-    expect(result.exitCode, 0);
-  });
-
   test('Compile JIT snapshot with default (sound null safety)', () async {
     final p = project(mainSrc: '''void main() {}''');
     final inFile = path.canonicalize(path.join(p.dirPath, p.relativeFilePath));
@@ -1503,31 +1396,6 @@ void main() {
     expect(result.exitCode, 254);
   });
 
-  test('Compile JIT snapshot with warnings', () async {
-    final p = project(mainSrc: '''
-void main() {
-    int i = 0;
-    i?.isEven;
-}''');
-    final inFile = path.canonicalize(path.join(p.dirPath, p.relativeFilePath));
-    final outFile = path.canonicalize(path.join(p.dirPath, 'myjit'));
-
-    final result = await p.run(
-      [
-        'compile',
-        'jit-snapshot',
-        '--verbosity=warning',
-        '-o',
-        outFile,
-        inFile,
-      ],
-    );
-
-    expect(result.stderr, isNot(contains(soundNullSafetyMessage)));
-    expect(result.stderr, contains('Warning:'));
-    expect(result.exitCode, 0);
-  });
-
   if (Platform.isMacOS) {
     test('Compile and run executable from signed dartaotruntime', () async {
       // Either the locally built dartaotruntime is already linker signed

pkg/front_end/lib/src/fasta/codes/fasta_codes_cfe_generated.dart

@@ -5181,48 +5181,6 @@ Message _withArgumentsNonNullAwareSpreadIsNull(
   );
 }
 
-// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
-const Template<
-        Message Function(
-            String name, DartType _type, bool isNonNullableByDefault)>
-    templateNonNullableInNullAware = const Template<
-        Message Function(
-            String name, DartType _type, bool isNonNullableByDefault)>(
-  "NonNullableInNullAware",
-  problemMessageTemplate:
-      r"""Operand of null-aware operation '#name' has type '#type' which excludes null.""",
-  withArguments: _withArgumentsNonNullableInNullAware,
-);
-
-// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
-const Code<
-    Message Function(String name, DartType _type,
-        bool isNonNullableByDefault)> codeNonNullableInNullAware = const Code<
-    Message Function(String name, DartType _type, bool isNonNullableByDefault)>(
-  "NonNullableInNullAware",
-  severity: Severity.warning,
-);
-
-// DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
-Message _withArgumentsNonNullableInNullAware(
-    String name, DartType _type, bool isNonNullableByDefault) {
-  if (name.isEmpty) throw 'No name provided';
-  name = demangleMixinApplicationName(name);
-  TypeLabeler labeler = new TypeLabeler(isNonNullableByDefault);
-  List<Object> typeParts = labeler.labelType(_type);
-  String type = typeParts.join();
-  return new Message(
-    codeNonNullableInNullAware,
-    problemMessage:
-        """Operand of null-aware operation '${name}' has type '${type}' which excludes null.""" +
-            labeler.originMessages,
-    arguments: {
-      'name': name,
-      'type': _type,
-    },
-  );
-}
-
 // DO NOT EDIT. THIS FILE IS GENERATED. SEE TOP OF FILE.
 const Template<Message Function(DartType _type, bool isNonNullableByDefault)>
     templateNullableExpressionCallError = const Template<

pkg/front_end/lib/src/fasta/kernel/expression_generator.dart

@@ -629,16 +629,6 @@ class ThisPropertyAccessGenerator extends Generator {
   @override
   String get _plainNameForRead => name.text;
 
-  void _reportNonNullableInNullAwareWarningIfNeeded() {
-    if (isNullAware && _helper.libraryBuilder.isNonNullableByDefault) {
-      _helper.libraryBuilder.addProblem(
-          messageThisInNullAwareReceiver,
-          thisOffset ?? fileOffset,
-          thisOffset != null ? 4 : noLength,
-          _helper.uri);
-    }
-  }
-
   Expression get _thisExpression => thisVariable != null
       ? _forest.createVariableGet(fileOffset, thisVariable!)
       : _forest.createThisExpression(fileOffset);
@@ -649,13 +639,11 @@ class ThisPropertyAccessGenerator extends Generator {
   }
 
   Expression _createRead() {
-    _reportNonNullableInNullAwareWarningIfNeeded();
     return _forest.createPropertyGet(fileOffset, _thisExpression, name);
   }
 
   @override
   Expression buildAssignment(Expression value, {bool voidContext = false}) {
-    _reportNonNullableInNullAwareWarningIfNeeded();
     return _createWrite(fileOffset, value, forEffect: voidContext);
   }
 
@@ -681,7 +669,6 @@ class ThisPropertyAccessGenerator extends Generator {
       bool voidContext = false,
       bool isPreIncDec = false,
       bool isPostIncDec = false}) {
-    _reportNonNullableInNullAwareWarningIfNeeded();
     Expression binary = _helper.forest
         .createBinary(offset, _createRead(), binaryOperator, value);
     return _createWrite(fileOffset, binary, forEffect: voidContext);
@@ -695,7 +682,6 @@ class ThisPropertyAccessGenerator extends Generator {
       return buildCompoundAssignment(binaryOperator, value,
           offset: offset, voidContext: voidContext, isPostIncDec: true);
     }
-    _reportNonNullableInNullAwareWarningIfNeeded();
     VariableDeclarationImpl read =
         _helper.createVariableDeclarationForValue(_createRead());
     Expression binary = _helper.forest.createBinary(offset,
@@ -1137,26 +1123,14 @@ class ThisIndexedAccessGenerator extends Generator {
   @override
   String get _debugName => "ThisIndexedAccessGenerator";
 
-  void _reportNonNullableInNullAwareWarningIfNeeded() {
-    if (isNullAware && _helper.libraryBuilder.isNonNullableByDefault) {
-      _helper.libraryBuilder.addProblem(
-          messageThisInNullAwareReceiver,
-          thisOffset ?? fileOffset,
-          thisOffset != null ? 4 : noLength,
-          _helper.uri);
-    }
-  }
-
   @override
   Expression buildSimpleRead() {
-    _reportNonNullableInNullAwareWarningIfNeeded();
     Expression receiver = _helper.forest.createThisExpression(fileOffset);
     return _forest.createIndexGet(fileOffset, receiver, index);
   }
 
   @override
   Expression buildAssignment(Expression value, {bool voidContext = false}) {
-    _reportNonNullableInNullAwareWarningIfNeeded();
     Expression receiver = _helper.forest.createThisExpression(fileOffset);
     return _forest.createIndexSet(fileOffset, receiver, index, value,
         forEffect: voidContext);
@@ -1165,7 +1139,6 @@ class ThisIndexedAccessGenerator extends Generator {
   @override
   Expression buildIfNullAssignment(Expression value, DartType type, int offset,
       {bool voidContext = false}) {
-    _reportNonNullableInNullAwareWarningIfNeeded();
     Expression receiver = _helper.forest.createThisExpression(fileOffset);
     return new IfNullIndexSet(receiver, index, value,
         readOffset: fileOffset,
@@ -1181,7 +1154,6 @@ class ThisIndexedAccessGenerator extends Generator {
       bool voidContext = false,
       bool isPreIncDec = false,
       bool isPostIncDec = false}) {
-    _reportNonNullableInNullAwareWarningIfNeeded();
     Expression receiver = _helper.forest.createThisExpression(fileOffset);
     return new CompoundIndexSet(receiver, index, binaryOperator, value,
         readOffset: fileOffset,
@@ -1444,28 +1416,6 @@ class StaticAccessGenerator extends Generator {
         isNullAware: isNullAware);
   }
 
-  void _reportNonNullableInNullAwareWarningIfNeeded() {
-    if (isNullAware && _helper.libraryBuilder.isNonNullableByDefault) {
-      DeclarationBuilder declarationBuilder =
-          parentBuilder as DeclarationBuilder;
-      if (declarationBuilder.isExtension) {
-        String extensionName = declarationBuilder.name;
-        _helper.libraryBuilder.addProblem(
-            templateExtensionInNullAwareReceiver.withArguments(extensionName),
-            typeOffset ?? fileOffset,
-            typeOffset != null ? extensionName.length : noLength,
-            _helper.uri);
-      } else {
-        String className = declarationBuilder.name;
-        _helper.libraryBuilder.addProblem(
-            templateClassInNullAwareReceiver.withArguments(className),
-            typeOffset ?? fileOffset,
-            typeOffset != null ? className.length : noLength,
-            _helper.uri);
-      }
-    }
-  }
-
   @override
   String get _debugName => "StaticAccessGenerator";
 
@@ -1483,7 +1433,6 @@ class StaticAccessGenerator extends Generator {
     if (readTarget == null) {
       read = _makeInvalidRead(UnresolvedKind.Getter);
     } else {
-      _reportNonNullableInNullAwareWarningIfNeeded();
       if (readTarget is Procedure && readTarget.kind == ProcedureKind.Method) {
         read = _helper.forest.createStaticTearOff(fileOffset, readTarget);
       } else {
@@ -1495,7 +1444,6 @@ class StaticAccessGenerator extends Generator {
 
   @override
   Expression buildAssignment(Expression value, {bool voidContext = false}) {
-    _reportNonNullableInNullAwareWarningIfNeeded();
     return _createWrite(fileOffset, value);
   }
 
@@ -1504,7 +1452,6 @@ class StaticAccessGenerator extends Generator {
     if (writeTarget == null) {
       write = _makeInvalidWrite(value);
     } else {
-      _reportNonNullableInNullAwareWarningIfNeeded();
       write = new StaticSet(writeTarget!, value)..fileOffset = offset;
     }
     return write;
@@ -4475,13 +4422,6 @@ class ThisAccessGenerator extends Generator {
     ];
   }
 
-  void _reportNonNullableInNullAwareWarningIfNeeded() {
-    if (_helper.libraryBuilder.isNonNullableByDefault) {
-      _helper.libraryBuilder.addProblem(
-          messageThisInNullAwareReceiver, fileOffset, 4, _helper.uri);
-    }
-  }
-
   @override
   Expression_Generator_Initializer buildSelectorAccess(
       Selector selector, int operatorOffset, bool isNullAware) {
@@ -4502,9 +4442,6 @@ class ThisAccessGenerator extends Generator {
     if (selector is InvocationSelector) {
       // Notice that 'this' or 'super' can't be null. So we can ignore the
       // value of [isNullAware].
-      if (isNullAware) {
-        _reportNonNullableInNullAwareWarningIfNeeded();
-      }
       if (isSuper) {
         return _helper.buildSuperInvocation(
             name, selector.arguments, offsetForToken(selector.token));

pkg/front_end/lib/src/fasta/type_inference/closure_context.dart

@@ -242,21 +242,7 @@ class _SyncClosureContext implements ClosureContext {
     } else {
       // The rules for valid returns for functions with [returnType] `T` and
       // a return expression with static [expressionType] `S`.
-      if (statement.expression == null) {
-        // `return;` is a valid return if T is void, dynamic, or Null.
-        if (returnType is VoidType ||
-            returnType is DynamicType ||
-            returnType is NullType) {
-          // Valid return;
-        } else {
-          statement.expression = inferrer.helper.wrapInProblem(
-              new NullLiteral()..fileOffset = statement.fileOffset,
-              messageReturnWithoutExpression,
-              statement.fileOffset,
-              noLength)
-            ..parent = statement;
-        }
-      } else {
+      if (statement.expression != null) {
         void ensureAssignability() {
           Expression expression = inferrer.ensureAssignable(
               _returnContext, expressionType, statement.expression!,
@@ -616,21 +602,7 @@ class _AsyncClosureContext implements ClosureContext {
       // and a return expression with static [expressionType] `S`.
       DartType flattenedReturnType =
           inferrer.typeSchemaEnvironment.flatten(returnType);
-      if (statement.expression == null) {
-        // `return;` is a valid return if flatten(T) is void, dynamic, or Null.
-        if (flattenedReturnType is VoidType ||
-            flattenedReturnType is DynamicType ||
-            flattenedReturnType is NullType) {
-          // Valid return;
-        } else {
-          statement.expression = inferrer.helper.wrapInProblem(
-              new NullLiteral()..fileOffset = statement.fileOffset,
-              messageReturnWithoutExpression,
-              statement.fileOffset,
-              noLength)
-            ..parent = statement;
-        }
-      } else {
+      if (statement.expression != null) {
         DartType flattenedExpressionType =
             inferrer.typeSchemaEnvironment.flatten(expressionType);
 

pkg/front_end/lib/src/fasta/type_inference/inference_visitor.dart

@@ -288,8 +288,8 @@ class InferenceVisitorImpl extends InferenceVisitorBase
               result.nullAwareAction is InvalidExpression)) {
         Expression replacement = createLet(
             createVariable(result.expression, result.inferredType),
-            createReachabilityError(expression.fileOffset,
-                messageNeverValueError, messageNeverValueWarning));
+            createReachabilityError(
+                expression.fileOffset, messageNeverValueError));
         flowAnalysis.forwardExpression(replacement, result.expression);
         result =
             new ExpressionInferenceResult(result.inferredType, replacement);
@@ -931,10 +931,6 @@ class InferenceVisitorImpl extends InferenceVisitorBase
     ExpressionInferenceResult result = inferExpression(
         node.variable.initializer!, typeContext,
         isVoidAllowed: false);
-    if (node.isNullAware) {
-      reportNonNullableInNullAwareWarningIfNeeded(
-          result.inferredType, "?..", node.fileOffset);
-    }
 
     node.variable.initializer = result.expression..parent = node.variable;
     node.variable.type = result.inferredType;
@@ -1916,8 +1912,6 @@ class InferenceVisitorImpl extends InferenceVisitorBase
         node.left, computeNullable(typeContext),
         isVoidAllowed: false);
     DartType t1 = lhsResult.inferredType;
-    reportNonNullableInNullAwareWarningIfNeeded(
-        t1, "??", lhsResult.expression.fileOffset);
 
     // This ends any shorting in `node.left`.
     Expression left = lhsResult.expression;
@@ -2211,10 +2205,6 @@ class InferenceVisitorImpl extends InferenceVisitorBase
             libraryBuilder.nullableIfTrue(element.isNullAware),
             <DartType>[inferredTypeArgument]),
         isVoidAllowed: true);
-    if (element.isNullAware) {
-      reportNonNullableInNullAwareWarningIfNeeded(
-          spreadResult.inferredType, "...?", element.expression.fileOffset);
-    }
     element.expression = spreadResult.expression..parent = element;
     DartType spreadType = spreadResult.inferredType;
     inferredSpreadTypes[element.expression] = spreadType;
@@ -3941,10 +3931,6 @@ class InferenceVisitorImpl extends InferenceVisitorBase
     }
     ExpressionInferenceResult spreadResult =
         inferExpression(entry.expression, spreadContext, isVoidAllowed: true);
-    if (entry.isNullAware) {
-      reportNonNullableInNullAwareWarningIfNeeded(
-          spreadResult.inferredType, "...?", entry.expression.fileOffset);
-    }
     entry.expression = spreadResult.expression..parent = entry;
     DartType spreadType = spreadResult.inferredType;
     inferredSpreadTypes[entry.expression] = spreadType;
@@ -5004,8 +4990,6 @@ class InferenceVisitorImpl extends InferenceVisitorBase
     DartType operandType = operandResult.nullAwareActionType;
 
     node.operand = operand..parent = node;
-    reportNonNullableInNullAwareWarningIfNeeded(
-        operandType, "!", node.operand.fileOffset);
     flowAnalysis.nonNullAssert_end(node.operand);
     DartType nonNullableResultType = operations.promoteToNonNull(operandType);
     return createNullAwareExpressionInferenceResult(
@@ -5016,8 +5000,6 @@ class InferenceVisitorImpl extends InferenceVisitorBase
       NullAwareMethodInvocation node, DartType typeContext) {
     Link<NullAwareGuard> nullAwareGuards =
         inferSyntheticVariableNullAware(node.variable);
-    reportNonNullableInNullAwareWarningIfNeeded(
-        node.variable.type, "?.", node.variable.fileOffset);
     NullAwareGuard nullAwareGuard = createNullAwareGuard(node.variable);
     ExpressionInferenceResult invocationResult =
         inferExpression(node.invocation, typeContext, isVoidAllowed: true);
@@ -5031,8 +5013,6 @@ class InferenceVisitorImpl extends InferenceVisitorBase
       NullAwarePropertyGet node, DartType typeContext) {
     Link<NullAwareGuard> nullAwareGuards =
         inferSyntheticVariableNullAware(node.variable);
-    reportNonNullableInNullAwareWarningIfNeeded(
-        node.variable.type, "?.", node.variable.fileOffset);
     NullAwareGuard nullAwareGuard = createNullAwareGuard(node.variable);
     ExpressionInferenceResult readResult =
         inferExpression(node.read, typeContext);
@@ -5044,8 +5024,6 @@ class InferenceVisitorImpl extends InferenceVisitorBase
       NullAwarePropertySet node, DartType typeContext) {
     Link<NullAwareGuard> nullAwareGuards =
         inferSyntheticVariableNullAware(node.variable);
-    reportNonNullableInNullAwareWarningIfNeeded(
-        node.variable.type, "?.", node.variable.fileOffset);
     NullAwareGuard nullAwareGuard = createNullAwareGuard(node.variable);
     ExpressionInferenceResult writeResult =
         inferExpression(node.write, typeContext, isVoidAllowed: true);
@@ -5056,8 +5034,6 @@ class InferenceVisitorImpl extends InferenceVisitorBase
   ExpressionInferenceResult visitNullAwareExtension(
       NullAwareExtension node, DartType typeContext) {
     inferSyntheticVariable(node.variable);
-    reportNonNullableInNullAwareWarningIfNeeded(
-        node.variable.type, "?.", node.variable.fileOffset);
     NullAwareGuard nullAwareGuard = createNullAwareGuard(node.variable);
     ExpressionInferenceResult expressionResult =
         inferExpression(node.expression, typeContext);
@@ -5209,8 +5185,6 @@ class InferenceVisitorImpl extends InferenceVisitorBase
             isThisReceiver: node.receiver is ThisExpression)
         .expressionInferenceResult;
 
-    reportNonNullableInNullAwareWarningIfNeeded(
-        readResult.inferredType, "??=", node.readOffset);
     Expression read = readResult.expression;
     DartType readType = readResult.inferredType;
 
@@ -5324,8 +5298,6 @@ class InferenceVisitorImpl extends InferenceVisitorBase
       IfNullSet node, DartType typeContext) {
     ExpressionInferenceResult readResult =
         inferNullAwareExpression(node.read, const UnknownType());
-    reportNonNullableInNullAwareWarningIfNeeded(
-        readResult.inferredType, "??=", node.read.fileOffset);
 
     Link<NullAwareGuard> nullAwareGuards = readResult.nullAwareGuards;
     Expression read = readResult.nullAwareAction;
@@ -5695,8 +5667,6 @@ class InferenceVisitorImpl extends InferenceVisitorBase
         readIndex,
         readIndexType,
         checkKind);
-    reportNonNullableInNullAwareWarningIfNeeded(
-        readResult.inferredType, "??=", node.readOffset);
     Expression read = readResult.expression;
     DartType readType = readResult.inferredType;
     flowAnalysis.ifNullExpression_rightBegin(read, readType);
@@ -5828,8 +5798,6 @@ class InferenceVisitorImpl extends InferenceVisitorBase
         : const ObjectAccessTarget.missing();
 
     DartType readType = readTarget.getReturnType(this);
-    reportNonNullableInNullAwareWarningIfNeeded(
-        readType, "??=", node.readOffset);
     DartType readIndexType = readTarget.getIndexKeyType(this);
 
     ObjectAccessTarget writeTarget = node.setter != null
@@ -6026,8 +5994,6 @@ class InferenceVisitorImpl extends InferenceVisitorBase
         readIndex,
         readIndexType,
         MethodContravarianceCheckKind.none);
-    reportNonNullableInNullAwareWarningIfNeeded(
-        readResult.inferredType, "??=", node.readOffset);
     Expression read = readResult.expression;
     DartType readType = readResult.inferredType;
     flowAnalysis.ifNullExpression_rightBegin(read, readType);
@@ -7124,8 +7090,6 @@ class InferenceVisitorImpl extends InferenceVisitorBase
     ExpressionInferenceResult receiverResult = inferNullAwareExpression(
         node.receiver, const UnknownType(),
         isVoidAllowed: true);
-    reportNonNullableInNullAwareWarningIfNeeded(
-        receiverResult.inferredType, "?.", node.receiver.fileOffset);
 
     Link<NullAwareGuard> nullAwareGuards = receiverResult.nullAwareGuards;
     Expression receiver = receiverResult.nullAwareAction;
@@ -7686,8 +7650,6 @@ class InferenceVisitorImpl extends InferenceVisitorBase
     ExpressionInferenceResult receiverResult = inferNullAwareExpression(
         node.receiver, const UnknownType(),
         isVoidAllowed: false);
-    reportNonNullableInNullAwareWarningIfNeeded(
-        receiverResult.inferredType, "?.", node.receiver.fileOffset);
 
     Link<NullAwareGuard> nullAwareGuards = receiverResult.nullAwareGuards;
     Expression receiver = receiverResult.nullAwareAction;
@@ -8466,9 +8428,7 @@ class InferenceVisitorImpl extends InferenceVisitorBase
           [],
           [],
           _createExpressionStatement(createReachabilityError(
-              node.fileOffset,
-              messageNeverReachableSwitchDefaultError,
-              messageNeverReachableSwitchDefaultWarning)),
+              node.fileOffset, messageNeverReachableSwitchDefaultError)),
           isDefault: true)
         ..fileOffset = node.fileOffset
         ..parent = node);
@@ -9470,19 +9430,6 @@ class InferenceVisitorImpl extends InferenceVisitorBase
     return new ExpressionInferenceResult(type, result);
   }
 
-  void reportNonNullableInNullAwareWarningIfNeeded(
-      DartType operandType, String operationName, int offset) {
-    if (operandType is! InvalidType &&
-        operandType.nullability == Nullability.nonNullable) {
-      libraryBuilder.addProblem(
-          templateNonNullableInNullAware.withArguments(
-              operationName, operandType, isNonNullableByDefault),
-          offset,
-          noLength,
-          helper.uri);
-    }
-  }
-
   /// Pops the top entry off of [_rewriteStack].
   Object? popRewrite([NullValue? nullValue]) {
     Object entry = _rewriteStack.removeLast();

pkg/front_end/lib/src/fasta/type_inference/inference_visitor_base.dart

@@ -214,11 +214,7 @@ abstract class InferenceVisitorBase implements InferenceVisitor {
     }
   }
 
-  Expression createReachabilityError(
-      int fileOffset, Message errorMessage, Message warningMessage) {
-    if (libraryBuilder.loader.target.context.options.warnOnReachabilityCheck) {
-      helper.addProblem(warningMessage, fileOffset, noLength);
-    }
+  Expression createReachabilityError(int fileOffset, Message errorMessage) {
     Arguments arguments = new Arguments([
       new StringLiteral(errorMessage.problemMessage)..fileOffset = fileOffset
     ])

pkg/front_end/lib/src/fasta/type_inference/shared_type_analyzer.dart

@@ -127,18 +127,12 @@ class SharedTypeAnalyzerErrors
   }
 
   @override
-  InvalidExpression matchedTypeIsStrictlyNonNullable({
+  InvalidExpression? matchedTypeIsStrictlyNonNullable({
     required Pattern pattern,
     required DartType matchedType,
   }) {
-    // These are only warnings, so we don't update `pattern.error`.
-    if (pattern is NullAssertPattern) {
-      return helper.buildProblem(
-          messageUnnecessaryNullAssertPattern, pattern.fileOffset, noLength);
-    } else {
-      return helper.buildProblem(
-          messageUnnecessaryNullCheckPattern, pattern.fileOffset, noLength);
-    }
+    // These are only warnings, so we don't report anything.
+    return null;
   }
 
   @override

pkg/front_end/messages.status

@@ -72,7 +72,6 @@ CantUsePrefixWithNullAware/part_wrapped_script: Fail # Importing file in the (no
 CantUseSuperBoundedTypeForInstanceCreation/analyzerCode: Fail
 CantUseSuperBoundedTypeForInstanceCreation/example: Fail
 ClassImplementsDeferredClass/part_wrapped_script: Fail # Uses imports
-ClassInNullAwareReceiver/analyzerCode: Fail
 ColonInPlaceOfIn/example: Fail
 CompilingWithSoundNullSafety/analyzerCode: Fail
 CompilingWithoutSoundNullSafety/analyzerCode: Fail

pkg/front_end/messages.yaml

@@ -4701,14 +4701,6 @@ ReturnFromVoidFunction:
   analyzerCode: RETURN_OF_INVALID_TYPE
   declaration: "void foo() { return 1; }"
 
-ReturnWithoutExpression:
-  problemMessage: "Must explicitly return a value from a non-void function."
-  severity: WARNING
-  analyzerCode: RETURN_WITHOUT_VALUE
-  script: |
-    // @dart=2.9
-    int foo() { return; }
-
 ReturnWithoutExpressionSync:
   problemMessage: "A value must be explicitly returned from a non-void function."
   configuration: nnbd-strong
@@ -6003,49 +5995,6 @@ JsInteropStaticInteropWithNonStaticSupertype:
   problemMessage: "JS interop class '#name' has an `@staticInterop` annotation, but has supertype '#name2', which does not."
   correctionMessage: "Try marking the supertype as a static interop class using `@staticInterop`."
 
-NonNullableInNullAware:
-  problemMessage: "Operand of null-aware operation '#name' has type '#type' which excludes null."
-  severity: WARNING
-
-ThisInNullAwareReceiver:
-  problemMessage: "The receiver 'this' cannot be null."
-  correctionMessage: "Try replacing '?.' with '.'"
-  severity: WARNING
-  configuration: nnbd-strong
-  script: |
-    class C {
-      var field;
-      method() {
-        this?.field;
-      }
-    }
-
-ClassInNullAwareReceiver:
-  problemMessage: "The class '#name' cannot be null."
-  correctionMessage: "Try replacing '?.' with '.'"
-  severity: WARNING
-  configuration: nnbd-strong
-  script: |
-    class C {
-      static var field;
-    }
-    method() {
-      C?.field;
-    }
-
-ExtensionInNullAwareReceiver:
-  problemMessage: "The extension '#name' cannot be null."
-  correctionMessage: "Try replacing '?.' with '.'"
-  severity: WARNING
-  configuration: nnbd-strong
-  script: |
-    extension E on int {
-      static var field;
-    }
-    method() {
-      E?.field;
-    }
-
 NonNullableNotAssignedError:
   problemMessage: "Non-nullable variable '#name' must be assigned before it can be used."
   configuration: nnbd-strong
@@ -6160,10 +6109,6 @@ NonVoidReturnSetter:
 NeverReachableSwitchDefaultError:
   problemMessage: "`null` encountered as case in a switch expression with a non-nullable enum type."
 
-NeverReachableSwitchDefaultWarning:
-  problemMessage: "The default case is not reachable with sound null safety because the switch expression is non-nullable."
-  severity: WARNING
-
 NeverReachableSwitchExpressionError:
   problemMessage: "`null` encountered as case in a switch expression with a non-nullable type."
 
@@ -6179,10 +6124,6 @@ UnsoundSwitchStatementError:
 NeverValueError:
   problemMessage: "`null` encountered as the result from expression with type `Never`."
 
-NeverValueWarning:
-  problemMessage: "The expression can not result in a value with sound null safety because the expression type is `Never`."
-  severity: WARNING
-
 MainNotFunctionDeclaration:
   problemMessage: "The 'main' declaration must be a function declaration."
   configuration: nnbd-strong
@@ -6910,23 +6851,6 @@ NonExhaustiveSwitchStatement:
       }
     }
 
-UnreachableSwitchCase:
-  problemMessage: "This case is covered by the previous cases."
-  analyzerCode: UNREACHABLE_SWITCH_CASE
-  severity: WARNING # TODO(johnniwinther): Should this be an error, warning or not emitted at all?
-  script: |
-    enum Enum { a, b }
-    method(Enum e) {
-      switch (e) {
-        case Enum.a:
-          break;
-        case Enum.b:
-          break;
-        case Enum.a:
-          break;
-      }
-    }
-
 PatternTypeMismatchInIrrefutableContext:
   problemMessage: "The matched value of type '#type' isn't assignable to the required type '#type2'."
   correctionMessage: "Try changing the required type of the pattern, or the matched value type."
@@ -6985,27 +6909,6 @@ RestPatternInMapPattern:
   script: |
     test(dynamic x) { if (x case {1: 1, ...}) {} }
 
-UnnecessaryNullAssertPattern:
-  problemMessage: The null-assert pattern will have no effect because the matched type isn't nullable.
-  correctionMessage: Try replacing the null-assert pattern with its nested pattern.
-  analyzerCode: UNNECESSARY_NULL_ASSERT_PATTERN
-  severity: WARNING
-  script: |
-    method(List<int> list) {
-      if (list case [var a!]) {}
-    }
-
-UnnecessaryNullCheckPattern:
-  problemMessage: The null-check pattern will have no effect because the matched type isn't nullable.
-  correctionMessage: Try replacing the null-check pattern with its nested pattern.
-  analyzerCode: UNNECESSARY_NULL_CHECK_PATTERN
-  comment: No parameters.
-  severity: WARNING
-  script: |
-    method(List<int> list) {
-      if (list case [var a?]) {}
-    }
-
 NonBoolCondition:
   problemMessage: "Conditions must have a static type of 'bool'."
   correctionMessage: Try changing the condition.

pkg/front_end/testcases/general/constants/various2.dart.strong.expect

@@ -51,14 +51,6 @@ library;
 // const bool.fromEnvironment("bar", defaultValue: null);
 //                                                 ^
 //
-// pkg/front_end/testcases/general/constants/various2.dart:12:34: Warning: Operand of null-aware operation '??' has type 'bool' which excludes null.
-// const bool nullAwareOnNullTrue = barFromEnvOrNull ?? true;
-//                                  ^
-//
-// pkg/front_end/testcases/general/constants/various2.dart:13:35: Warning: Operand of null-aware operation '??' has type 'bool' which excludes null.
-// const bool nullAwareOnNullFalse = barFromEnvOrNull ?? false;
-//                                   ^
-//
 // pkg/front_end/testcases/general/constants/various2.dart:25:51: Error: The value 'null' can't be assigned to the parameter type 'String' because 'String' is not nullable.
 // const String.fromEnvironment("bar", defaultValue: null);
 //                                                   ^

pkg/front_end/testcases/general/constants/various2.dart.strong.transformed.expect

@@ -51,14 +51,6 @@ library;
 // const bool.fromEnvironment("bar", defaultValue: null);
 //                                                 ^
 //
-// pkg/front_end/testcases/general/constants/various2.dart:12:34: Warning: Operand of null-aware operation '??' has type 'bool' which excludes null.
-// const bool nullAwareOnNullTrue = barFromEnvOrNull ?? true;
-//                                  ^
-//
-// pkg/front_end/testcases/general/constants/various2.dart:13:35: Warning: Operand of null-aware operation '??' has type 'bool' which excludes null.
-// const bool nullAwareOnNullFalse = barFromEnvOrNull ?? false;
-//                                   ^
-//
 // pkg/front_end/testcases/general/constants/various2.dart:25:51: Error: The value 'null' can't be assigned to the parameter type 'String' because 'String' is not nullable.
 // const String.fromEnvironment("bar", defaultValue: null);
 //                                                   ^

pkg/front_end/testcases/general/constants/various2.dart.weak.expect

@@ -51,14 +51,6 @@ library;
 // const bool.fromEnvironment("bar", defaultValue: null);
 //                                                 ^
 //
-// pkg/front_end/testcases/general/constants/various2.dart:12:34: Warning: Operand of null-aware operation '??' has type 'bool' which excludes null.
-// const bool nullAwareOnNullTrue = barFromEnvOrNull ?? true;
-//                                  ^
-//
-// pkg/front_end/testcases/general/constants/various2.dart:13:35: Warning: Operand of null-aware operation '??' has type 'bool' which excludes null.
-// const bool nullAwareOnNullFalse = barFromEnvOrNull ?? false;
-//                                   ^
-//
 // pkg/front_end/testcases/general/constants/various2.dart:25:51: Error: The value 'null' can't be assigned to the parameter type 'String' because 'String' is not nullable.
 // const String.fromEnvironment("bar", defaultValue: null);
 //                                                   ^

pkg/front_end/testcases/general/constants/various2.dart.weak.modular.expect

@@ -51,14 +51,6 @@ library;
 // const bool.fromEnvironment("bar", defaultValue: null);
 //                                                 ^
 //
-// pkg/front_end/testcases/general/constants/various2.dart:12:34: Warning: Operand of null-aware operation '??' has type 'bool' which excludes null.
-// const bool nullAwareOnNullTrue = barFromEnvOrNull ?? true;
-//                                  ^
-//
-// pkg/front_end/testcases/general/constants/various2.dart:13:35: Warning: Operand of null-aware operation '??' has type 'bool' which excludes null.
-// const bool nullAwareOnNullFalse = barFromEnvOrNull ?? false;
-//                                   ^
-//
 // pkg/front_end/testcases/general/constants/various2.dart:25:51: Error: The value 'null' can't be assigned to the parameter type 'String' because 'String' is not nullable.
 // const String.fromEnvironment("bar", defaultValue: null);
 //                                                   ^

pkg/front_end/testcases/general/constants/various2.dart.weak.outline.expect

@@ -51,14 +51,6 @@ library;
 // const bool.fromEnvironment("bar", defaultValue: null);
 //                                                 ^
 //
-// pkg/front_end/testcases/general/constants/various2.dart:12:34: Warning: Operand of null-aware operation '??' has type 'bool' which excludes null.
-// const bool nullAwareOnNullTrue = barFromEnvOrNull ?? true;
-//                                  ^
-//
-// pkg/front_end/testcases/general/constants/various2.dart:13:35: Warning: Operand of null-aware operation '??' has type 'bool' which excludes null.
-// const bool nullAwareOnNullFalse = barFromEnvOrNull ?? false;
-//                                   ^
-//
 // pkg/front_end/testcases/general/constants/various2.dart:25:51: Error: The value 'null' can't be assigned to the parameter type 'String' because 'String' is not nullable.
 // const String.fromEnvironment("bar", defaultValue: null);
 //                                                   ^

pkg/front_end/testcases/general/constants/various2.dart.weak.transformed.expect

@@ -51,14 +51,6 @@ library;
 // const bool.fromEnvironment("bar", defaultValue: null);
 //                                                 ^
 //
-// pkg/front_end/testcases/general/constants/various2.dart:12:34: Warning: Operand of null-aware operation '??' has type 'bool' which excludes null.
-// const bool nullAwareOnNullTrue = barFromEnvOrNull ?? true;
-//                                  ^
-//
-// pkg/front_end/testcases/general/constants/various2.dart:13:35: Warning: Operand of null-aware operation '??' has type 'bool' which excludes null.
-// const bool nullAwareOnNullFalse = barFromEnvOrNull ?? false;
-//                                   ^
-//
 // pkg/front_end/testcases/general/constants/various2.dart:25:51: Error: The value 'null' can't be assigned to the parameter type 'String' because 'String' is not nullable.
 // const String.fromEnvironment("bar", defaultValue: null);
 //                                                   ^

pkg/front_end/testcases/general/constants/with_unevaluated_agnostic/various.dart.strong.expect

@@ -13,10 +13,6 @@ library;
 // const fromDeferredLib = lib.x;
 //                         ^^^
 //
-// pkg/front_end/testcases/general/constants/with_unevaluated_agnostic/various.dart:14:30: Warning: Operand of null-aware operation '??' has type 'bool' which excludes null.
-// const bool nullAwareOnNull = barFromEnvOrNull ?? true;
-//                              ^
-//
 // pkg/front_end/testcases/general/constants/with_unevaluated_agnostic/various.dart:101:34: Error: The argument type 'A' can't be assigned to the parameter type 'T'.
 //  - 'A' is from 'pkg/front_end/testcases/general/constants/with_unevaluated_agnostic/various.dart'.
 //   const Class.method(T t) : this(-t);

pkg/front_end/testcases/general/constants/with_unevaluated_agnostic/various.dart.strong.transformed.expect

@@ -13,10 +13,6 @@ library;
 // const fromDeferredLib = lib.x;
 //                         ^^^
 //
-// pkg/front_end/testcases/general/constants/with_unevaluated_agnostic/various.dart:14:30: Warning: Operand of null-aware operation '??' has type 'bool' which excludes null.
-// const bool nullAwareOnNull = barFromEnvOrNull ?? true;
-//                              ^
-//
 // pkg/front_end/testcases/general/constants/with_unevaluated_agnostic/various.dart:101:34: Error: The argument type 'A' can't be assigned to the parameter type 'T'.
 //  - 'A' is from 'pkg/front_end/testcases/general/constants/with_unevaluated_agnostic/various.dart'.
 //   const Class.method(T t) : this(-t);

pkg/front_end/testcases/general/constants/with_unevaluated_agnostic/various.dart.weak.expect

@@ -13,10 +13,6 @@ library;
 // const fromDeferredLib = lib.x;
 //                         ^^^
 //
-// pkg/front_end/testcases/general/constants/with_unevaluated_agnostic/various.dart:14:30: Warning: Operand of null-aware operation '??' has type 'bool' which excludes null.
-// const bool nullAwareOnNull = barFromEnvOrNull ?? true;
-//                              ^
-//
 // pkg/front_end/testcases/general/constants/with_unevaluated_agnostic/various.dart:101:34: Error: The argument type 'A' can't be assigned to the parameter type 'T'.
 //  - 'A' is from 'pkg/front_end/testcases/general/constants/with_unevaluated_agnostic/various.dart'.
 //   const Class.method(T t) : this(-t);

pkg/front_end/testcases/general/constants/with_unevaluated_agnostic/various.dart.weak.modular.expect

@@ -13,10 +13,6 @@ library;
 // const fromDeferredLib = lib.x;
 //                         ^^^
 //
-// pkg/front_end/testcases/general/constants/with_unevaluated_agnostic/various.dart:14:30: Warning: Operand of null-aware operation '??' has type 'bool' which excludes null.
-// const bool nullAwareOnNull = barFromEnvOrNull ?? true;
-//                              ^
-//
 // pkg/front_end/testcases/general/constants/with_unevaluated_agnostic/various.dart:101:34: Error: The argument type 'A' can't be assigned to the parameter type 'T'.
 //  - 'A' is from 'pkg/front_end/testcases/general/constants/with_unevaluated_agnostic/various.dart'.
 //   const Class.method(T t) : this(-t);

pkg/front_end/testcases/general/constants/with_unevaluated_agnostic/various.dart.weak.outline.expect

@@ -13,10 +13,6 @@ library;
 // const fromDeferredLib = lib.x;
 //                         ^^^
 //
-// pkg/front_end/testcases/general/constants/with_unevaluated_agnostic/various.dart:14:30: Warning: Operand of null-aware operation '??' has type 'bool' which excludes null.
-// const bool nullAwareOnNull = barFromEnvOrNull ?? true;
-//                              ^
-//
 // pkg/front_end/testcases/general/constants/with_unevaluated_agnostic/various.dart:101:34: Error: The argument type 'A' can't be assigned to the parameter type 'T'.
 //  - 'A' is from 'pkg/front_end/testcases/general/constants/with_unevaluated_agnostic/various.dart'.
 //   const Class.method(T t) : this(-t);

pkg/front_end/testcases/general/constants/with_unevaluated_agnostic/various.dart.weak.transformed.expect

@@ -13,10 +13,6 @@ library;
 // const fromDeferredLib = lib.x;
 //                         ^^^
 //
-// pkg/front_end/testcases/general/constants/with_unevaluated_agnostic/various.dart:14:30: Warning: Operand of null-aware operation '??' has type 'bool' which excludes null.
-// const bool nullAwareOnNull = barFromEnvOrNull ?? true;
-//                              ^
-//
 // pkg/front_end/testcases/general/constants/with_unevaluated_agnostic/various.dart:101:34: Error: The argument type 'A' can't be assigned to the parameter type 'T'.
 //  - 'A' is from 'pkg/front_end/testcases/general/constants/with_unevaluated_agnostic/various.dart'.
 //   const Class.method(T t) : this(-t);

pkg/front_end/testcases/general/issue47223a.dart.strong.expect

@@ -1,11 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/general/issue47223a.dart:6:4: Warning: Operand of null-aware operation '??' has type 'Never' which excludes null.
-//   (throw "some value") ?? "some other value";
-//    ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/general/issue47223a.dart.strong.transformed.expect

@@ -1,11 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/general/issue47223a.dart:6:4: Warning: Operand of null-aware operation '??' has type 'Never' which excludes null.
-//   (throw "some value") ?? "some other value";
-//    ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/general/issue47223a.dart.weak.expect

@@ -1,11 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/general/issue47223a.dart:6:4: Warning: Operand of null-aware operation '??' has type 'Never' which excludes null.
-//   (throw "some value") ?? "some other value";
-//    ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/general/issue47223a.dart.weak.modular.expect

@@ -1,11 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/general/issue47223a.dart:6:4: Warning: Operand of null-aware operation '??' has type 'Never' which excludes null.
-//   (throw "some value") ?? "some other value";
-//    ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/general/issue47223a.dart.weak.transformed.expect

@@ -1,11 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/general/issue47223a.dart:6:4: Warning: Operand of null-aware operation '??' has type 'Never' which excludes null.
-//   (throw "some value") ?? "some other value";
-//    ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/general/issue47223b.dart.strong.expect

@@ -1,11 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/general/issue47223b.dart:6:24: Warning: Operand of null-aware operation '??=' has type 'Never' which excludes null.
-//   (throw "some value").foo ??= "foo";
-//                        ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/general/issue47223b.dart.strong.transformed.expect

@@ -1,11 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/general/issue47223b.dart:6:24: Warning: Operand of null-aware operation '??=' has type 'Never' which excludes null.
-//   (throw "some value").foo ??= "foo";
-//                        ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/general/issue47223b.dart.weak.expect

@@ -1,11 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/general/issue47223b.dart:6:24: Warning: Operand of null-aware operation '??=' has type 'Never' which excludes null.
-//   (throw "some value").foo ??= "foo";
-//                        ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/general/issue47223b.dart.weak.modular.expect

@@ -1,11 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/general/issue47223b.dart:6:24: Warning: Operand of null-aware operation '??=' has type 'Never' which excludes null.
-//   (throw "some value").foo ??= "foo";
-//                        ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/general/issue47223b.dart.weak.transformed.expect

@@ -1,11 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/general/issue47223b.dart:6:24: Warning: Operand of null-aware operation '??=' has type 'Never' which excludes null.
-//   (throw "some value").foo ??= "foo";
-//                        ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/general/issue49127.dart.strong.expect

@@ -1,12 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/general/issue49127.dart:10:3: Warning: The extension 'E' cannot be null.
-// Try replacing '?.' with '.'
-//   E?.s;
-//   ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/general/issue49127.dart.strong.transformed.expect

@@ -1,12 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/general/issue49127.dart:10:3: Warning: The extension 'E' cannot be null.
-// Try replacing '?.' with '.'
-//   E?.s;
-//   ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/general/issue49127.dart.weak.expect

@@ -1,12 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/general/issue49127.dart:10:3: Warning: The extension 'E' cannot be null.
-// Try replacing '?.' with '.'
-//   E?.s;
-//   ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/general/issue49127.dart.weak.modular.expect

@@ -1,12 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/general/issue49127.dart:10:3: Warning: The extension 'E' cannot be null.
-// Try replacing '?.' with '.'
-//   E?.s;
-//   ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/general/issue49127.dart.weak.transformed.expect

@@ -1,12 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/general/issue49127.dart:10:3: Warning: The extension 'E' cannot be null.
-// Try replacing '?.' with '.'
-//   E?.s;
-//   ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/general/many_errors2.dart.strong.expect

@@ -39,11 +39,6 @@ library;
 //   const AbstractClass.id();
 //         ^^^^^^^^^^^^^
 //
-// pkg/front_end/testcases/general/many_errors2.dart:29:12: Warning: Operand of null-aware operation '??=' has type 'B' which excludes null.
-//  - 'B' is from 'pkg/front_end/testcases/general/many_errors2.dart'.
-//   (new C().b ??= new B()).b;
-//            ^
-//
 // pkg/front_end/testcases/general/many_errors2.dart:29:27: Error: The getter 'b' isn't defined for the class 'B'.
 //  - 'B' is from 'pkg/front_end/testcases/general/many_errors2.dart'.
 // Try correcting the name to the name of an existing getter, or defining a getter or field named 'b'.

pkg/front_end/testcases/general/many_errors2.dart.strong.transformed.expect

@@ -39,11 +39,6 @@ library;
 //   const AbstractClass.id();
 //         ^^^^^^^^^^^^^
 //
-// pkg/front_end/testcases/general/many_errors2.dart:29:12: Warning: Operand of null-aware operation '??=' has type 'B' which excludes null.
-//  - 'B' is from 'pkg/front_end/testcases/general/many_errors2.dart'.
-//   (new C().b ??= new B()).b;
-//            ^
-//
 // pkg/front_end/testcases/general/many_errors2.dart:29:27: Error: The getter 'b' isn't defined for the class 'B'.
 //  - 'B' is from 'pkg/front_end/testcases/general/many_errors2.dart'.
 // Try correcting the name to the name of an existing getter, or defining a getter or field named 'b'.

pkg/front_end/testcases/general/many_errors2.dart.weak.expect

@@ -39,11 +39,6 @@ library;
 //   const AbstractClass.id();
 //         ^^^^^^^^^^^^^
 //
-// pkg/front_end/testcases/general/many_errors2.dart:29:12: Warning: Operand of null-aware operation '??=' has type 'B' which excludes null.
-//  - 'B' is from 'pkg/front_end/testcases/general/many_errors2.dart'.
-//   (new C().b ??= new B()).b;
-//            ^
-//
 // pkg/front_end/testcases/general/many_errors2.dart:29:27: Error: The getter 'b' isn't defined for the class 'B'.
 //  - 'B' is from 'pkg/front_end/testcases/general/many_errors2.dart'.
 // Try correcting the name to the name of an existing getter, or defining a getter or field named 'b'.

pkg/front_end/testcases/general/many_errors2.dart.weak.modular.expect

@@ -39,11 +39,6 @@ library;
 //   const AbstractClass.id();
 //         ^^^^^^^^^^^^^
 //
-// pkg/front_end/testcases/general/many_errors2.dart:29:12: Warning: Operand of null-aware operation '??=' has type 'B' which excludes null.
-//  - 'B' is from 'pkg/front_end/testcases/general/many_errors2.dart'.
-//   (new C().b ??= new B()).b;
-//            ^
-//
 // pkg/front_end/testcases/general/many_errors2.dart:29:27: Error: The getter 'b' isn't defined for the class 'B'.
 //  - 'B' is from 'pkg/front_end/testcases/general/many_errors2.dart'.
 // Try correcting the name to the name of an existing getter, or defining a getter or field named 'b'.

pkg/front_end/testcases/general/many_errors2.dart.weak.transformed.expect

@@ -39,11 +39,6 @@ library;
 //   const AbstractClass.id();
 //         ^^^^^^^^^^^^^
 //
-// pkg/front_end/testcases/general/many_errors2.dart:29:12: Warning: Operand of null-aware operation '??=' has type 'B' which excludes null.
-//  - 'B' is from 'pkg/front_end/testcases/general/many_errors2.dart'.
-//   (new C().b ??= new B()).b;
-//            ^
-//
 // pkg/front_end/testcases/general/many_errors2.dart:29:27: Error: The getter 'b' isn't defined for the class 'B'.
 //  - 'B' is from 'pkg/front_end/testcases/general/many_errors2.dart'.
 // Try correcting the name to the name of an existing getter, or defining a getter or field named 'b'.

pkg/front_end/testcases/general/null_aware2.dart.strong.expect

@@ -6,46 +6,6 @@ library;
 //   static int staticField;
 //              ^^^^^^^^^^^
 //
-// pkg/front_end/testcases/general/null_aware2.dart:13:3: Warning: The class 'Foo' cannot be null.
-// Try replacing '?.' with '.'
-//   Foo?.staticField = 5;
-//   ^^^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:17:3: Warning: The class 'Foo' cannot be null.
-// Try replacing '?.' with '.'
-//   Foo?.staticField ??= 5;
-//   ^^^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:12:3: Warning: Operand of null-aware operation '?.' has type 'Foo' which excludes null.
-//  - 'Foo' is from 'pkg/front_end/testcases/general/null_aware2.dart'.
-//   foo?.field = 5;
-//   ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:14:7: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
-//   foo.field ??= 5;
-//       ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:15:7: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
-//   Foo.staticField ??= 5;
-//       ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:16:3: Warning: Operand of null-aware operation '?.' has type 'Foo' which excludes null.
-//  - 'Foo' is from 'pkg/front_end/testcases/general/null_aware2.dart'.
-//   foo?.field ??= 5;
-//   ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:17:8: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
-//   Foo?.staticField ??= 5;
-//        ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:19:22: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//   int intValue = foo.field ?? 6;
-//                      ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:20:22: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//   num numValue = foo.field ?? 4.5;
-//                      ^
-//
 // pkg/front_end/testcases/general/null_aware2.dart:6:7: Error: Field 'field' should be initialized because its type 'int' doesn't allow null.
 //   int field;
 //       ^^^^^

pkg/front_end/testcases/general/null_aware2.dart.strong.transformed.expect

@@ -6,46 +6,6 @@ library;
 //   static int staticField;
 //              ^^^^^^^^^^^
 //
-// pkg/front_end/testcases/general/null_aware2.dart:13:3: Warning: The class 'Foo' cannot be null.
-// Try replacing '?.' with '.'
-//   Foo?.staticField = 5;
-//   ^^^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:17:3: Warning: The class 'Foo' cannot be null.
-// Try replacing '?.' with '.'
-//   Foo?.staticField ??= 5;
-//   ^^^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:12:3: Warning: Operand of null-aware operation '?.' has type 'Foo' which excludes null.
-//  - 'Foo' is from 'pkg/front_end/testcases/general/null_aware2.dart'.
-//   foo?.field = 5;
-//   ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:14:7: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
-//   foo.field ??= 5;
-//       ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:15:7: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
-//   Foo.staticField ??= 5;
-//       ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:16:3: Warning: Operand of null-aware operation '?.' has type 'Foo' which excludes null.
-//  - 'Foo' is from 'pkg/front_end/testcases/general/null_aware2.dart'.
-//   foo?.field ??= 5;
-//   ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:17:8: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
-//   Foo?.staticField ??= 5;
-//        ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:19:22: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//   int intValue = foo.field ?? 6;
-//                      ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:20:22: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//   num numValue = foo.field ?? 4.5;
-//                      ^
-//
 // pkg/front_end/testcases/general/null_aware2.dart:6:7: Error: Field 'field' should be initialized because its type 'int' doesn't allow null.
 //   int field;
 //       ^^^^^

pkg/front_end/testcases/general/null_aware2.dart.weak.expect

@@ -6,46 +6,6 @@ library;
 //   static int staticField;
 //              ^^^^^^^^^^^
 //
-// pkg/front_end/testcases/general/null_aware2.dart:13:3: Warning: The class 'Foo' cannot be null.
-// Try replacing '?.' with '.'
-//   Foo?.staticField = 5;
-//   ^^^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:17:3: Warning: The class 'Foo' cannot be null.
-// Try replacing '?.' with '.'
-//   Foo?.staticField ??= 5;
-//   ^^^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:12:3: Warning: Operand of null-aware operation '?.' has type 'Foo' which excludes null.
-//  - 'Foo' is from 'pkg/front_end/testcases/general/null_aware2.dart'.
-//   foo?.field = 5;
-//   ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:14:7: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
-//   foo.field ??= 5;
-//       ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:15:7: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
-//   Foo.staticField ??= 5;
-//       ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:16:3: Warning: Operand of null-aware operation '?.' has type 'Foo' which excludes null.
-//  - 'Foo' is from 'pkg/front_end/testcases/general/null_aware2.dart'.
-//   foo?.field ??= 5;
-//   ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:17:8: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
-//   Foo?.staticField ??= 5;
-//        ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:19:22: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//   int intValue = foo.field ?? 6;
-//                      ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:20:22: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//   num numValue = foo.field ?? 4.5;
-//                      ^
-//
 // pkg/front_end/testcases/general/null_aware2.dart:6:7: Error: Field 'field' should be initialized because its type 'int' doesn't allow null.
 //   int field;
 //       ^^^^^

pkg/front_end/testcases/general/null_aware2.dart.weak.modular.expect

@@ -6,46 +6,6 @@ library;
 //   static int staticField;
 //              ^^^^^^^^^^^
 //
-// pkg/front_end/testcases/general/null_aware2.dart:13:3: Warning: The class 'Foo' cannot be null.
-// Try replacing '?.' with '.'
-//   Foo?.staticField = 5;
-//   ^^^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:17:3: Warning: The class 'Foo' cannot be null.
-// Try replacing '?.' with '.'
-//   Foo?.staticField ??= 5;
-//   ^^^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:12:3: Warning: Operand of null-aware operation '?.' has type 'Foo' which excludes null.
-//  - 'Foo' is from 'pkg/front_end/testcases/general/null_aware2.dart'.
-//   foo?.field = 5;
-//   ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:14:7: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
-//   foo.field ??= 5;
-//       ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:15:7: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
-//   Foo.staticField ??= 5;
-//       ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:16:3: Warning: Operand of null-aware operation '?.' has type 'Foo' which excludes null.
-//  - 'Foo' is from 'pkg/front_end/testcases/general/null_aware2.dart'.
-//   foo?.field ??= 5;
-//   ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:17:8: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
-//   Foo?.staticField ??= 5;
-//        ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:19:22: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//   int intValue = foo.field ?? 6;
-//                      ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:20:22: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//   num numValue = foo.field ?? 4.5;
-//                      ^
-//
 // pkg/front_end/testcases/general/null_aware2.dart:6:7: Error: Field 'field' should be initialized because its type 'int' doesn't allow null.
 //   int field;
 //       ^^^^^

pkg/front_end/testcases/general/null_aware2.dart.weak.transformed.expect

@@ -6,46 +6,6 @@ library;
 //   static int staticField;
 //              ^^^^^^^^^^^
 //
-// pkg/front_end/testcases/general/null_aware2.dart:13:3: Warning: The class 'Foo' cannot be null.
-// Try replacing '?.' with '.'
-//   Foo?.staticField = 5;
-//   ^^^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:17:3: Warning: The class 'Foo' cannot be null.
-// Try replacing '?.' with '.'
-//   Foo?.staticField ??= 5;
-//   ^^^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:12:3: Warning: Operand of null-aware operation '?.' has type 'Foo' which excludes null.
-//  - 'Foo' is from 'pkg/front_end/testcases/general/null_aware2.dart'.
-//   foo?.field = 5;
-//   ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:14:7: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
-//   foo.field ??= 5;
-//       ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:15:7: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
-//   Foo.staticField ??= 5;
-//       ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:16:3: Warning: Operand of null-aware operation '?.' has type 'Foo' which excludes null.
-//  - 'Foo' is from 'pkg/front_end/testcases/general/null_aware2.dart'.
-//   foo?.field ??= 5;
-//   ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:17:8: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
-//   Foo?.staticField ??= 5;
-//        ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:19:22: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//   int intValue = foo.field ?? 6;
-//                      ^
-//
-// pkg/front_end/testcases/general/null_aware2.dart:20:22: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//   num numValue = foo.field ?? 4.5;
-//                      ^
-//
 // pkg/front_end/testcases/general/null_aware2.dart:6:7: Error: Field 'field' should be initialized because its type 'int' doesn't allow null.
 //   int field;
 //       ^^^^^

pkg/front_end/testcases/inference/block_bodied_lambdas_returns.dart.strong.expect

@@ -6,14 +6,6 @@ library test /*isLegacy*/;
 // // @dart=2.9
 // ^^^^^^^^^^^^
 //
-// pkg/front_end/testcases/inference/block_bodied_lambdas_returns.dart:37:7: Warning: Must explicitly return a value from a non-void function.
-//       return;
-//       ^
-//
-// pkg/front_end/testcases/inference/block_bodied_lambdas_returns.dart:67:7: Warning: Must explicitly return a value from a non-void function.
-//       return;
-//       ^
-//
 import self as self;
 import "dart:core" as core;
 
@@ -46,7 +38,7 @@ static method main() → dynamic {
   };
   (core::bool*) →* core::int* g = (core::bool* b) → core::int* {
     if(b) {
-      return null;
+      return;
     }
     else {
       return 0;
@@ -81,7 +73,7 @@ static method main() → dynamic {
       return 0;
     }
     else {
-      return null;
+      return;
     }
   };
   (core::bool*) →* core::int* l = (core::bool* b) → core::int* {

pkg/front_end/testcases/inference/block_bodied_lambdas_returns.dart.strong.transformed.expect

@@ -6,14 +6,6 @@ library test /*isLegacy*/;
 // // @dart=2.9
 // ^^^^^^^^^^^^
 //
-// pkg/front_end/testcases/inference/block_bodied_lambdas_returns.dart:37:7: Warning: Must explicitly return a value from a non-void function.
-//       return;
-//       ^
-//
-// pkg/front_end/testcases/inference/block_bodied_lambdas_returns.dart:67:7: Warning: Must explicitly return a value from a non-void function.
-//       return;
-//       ^
-//
 import self as self;
 import "dart:core" as core;
 
@@ -46,7 +38,7 @@ static method main() → dynamic {
   };
   (core::bool*) →* core::int* g = (core::bool* b) → core::int* {
     if(b) {
-      return null;
+      return;
     }
     else {
       return 0;
@@ -81,7 +73,7 @@ static method main() → dynamic {
       return 0;
     }
     else {
-      return null;
+      return;
     }
   };
   (core::bool*) →* core::int* l = (core::bool* b) → core::int* {

pkg/front_end/testcases/inference/block_bodied_lambdas_returns.dart.weak.expect

@@ -1,15 +1,4 @@
 library test /*isLegacy*/;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/inference/block_bodied_lambdas_returns.dart:37:7: Warning: Must explicitly return a value from a non-void function.
-//       return;
-//       ^
-//
-// pkg/front_end/testcases/inference/block_bodied_lambdas_returns.dart:67:7: Warning: Must explicitly return a value from a non-void function.
-//       return;
-//       ^
-//
 import self as self;
 import "dart:core" as core;
 
@@ -42,7 +31,7 @@ static method main() → dynamic {
   };
   (core::bool*) →* core::int* g = (core::bool* b) → core::int* {
     if(b) {
-      return null;
+      return;
     }
     else {
       return 0;
@@ -77,7 +66,7 @@ static method main() → dynamic {
       return 0;
     }
     else {
-      return null;
+      return;
     }
   };
   (core::bool*) →* core::int* l = (core::bool* b) → core::int* {

pkg/front_end/testcases/inference/block_bodied_lambdas_returns.dart.weak.modular.expect

@@ -1,15 +1,4 @@
 library test /*isLegacy*/;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/inference/block_bodied_lambdas_returns.dart:37:7: Warning: Must explicitly return a value from a non-void function.
-//       return;
-//       ^
-//
-// pkg/front_end/testcases/inference/block_bodied_lambdas_returns.dart:67:7: Warning: Must explicitly return a value from a non-void function.
-//       return;
-//       ^
-//
 import self as self;
 import "dart:core" as core;
 
@@ -42,7 +31,7 @@ static method main() → dynamic {
   };
   (core::bool*) →* core::int* g = (core::bool* b) → core::int* {
     if(b) {
-      return null;
+      return;
     }
     else {
       return 0;
@@ -77,7 +66,7 @@ static method main() → dynamic {
       return 0;
     }
     else {
-      return null;
+      return;
     }
   };
   (core::bool*) →* core::int* l = (core::bool* b) → core::int* {

pkg/front_end/testcases/inference/block_bodied_lambdas_returns.dart.weak.transformed.expect

@@ -1,15 +1,4 @@
 library test /*isLegacy*/;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/inference/block_bodied_lambdas_returns.dart:37:7: Warning: Must explicitly return a value from a non-void function.
-//       return;
-//       ^
-//
-// pkg/front_end/testcases/inference/block_bodied_lambdas_returns.dart:67:7: Warning: Must explicitly return a value from a non-void function.
-//       return;
-//       ^
-//
 import self as self;
 import "dart:core" as core;
 
@@ -42,7 +31,7 @@ static method main() → dynamic {
   };
   (core::bool*) →* core::int* g = (core::bool* b) → core::int* {
     if(b) {
-      return null;
+      return;
     }
     else {
       return 0;
@@ -77,7 +66,7 @@ static method main() → dynamic {
       return 0;
     }
     else {
-      return null;
+      return;
     }
   };
   (core::bool*) →* core::int* l = (core::bool* b) → core::int* {

pkg/front_end/testcases/inference/future_then_ifNull2.dart

@@ -24,7 +24,6 @@ void test(MyFuture<int> f) {
   });
   Future<int> t5 = f. /*@typeArgs=int*/ /*@target=MyFuture.then*/ then(
       /*@returnType=FutureOr<int>*/ (/*@type=int*/ x) =>
-      // error:INVALID_CAST_FUNCTION_EXPR
           x ?? new Future<int>.value(3));
   Future<int> t6 = f. /*@typeArgs=int*/ /*@target=MyFuture.then*/ then(
       /*@returnType=FutureOr<int>*/ (/*@type=int*/ x) {

pkg/front_end/testcases/inference/future_then_ifNull2.dart.strong.expect

@@ -1,23 +1,4 @@
 library test;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/inference/future_then_ifNull2.dart:20:11: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//           x ?? await new Future<int>.value(3));
-//           ^
-//
-// pkg/front_end/testcases/inference/future_then_ifNull2.dart:23:41: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//     return /*info:DOWN_CAST_COMPOSITE*/ await x ?? new Future<int>.value(3);
-//                                         ^
-//
-// pkg/front_end/testcases/inference/future_then_ifNull2.dart:28:11: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//           x ?? new Future<int>.value(3));
-//           ^
-//
-// pkg/front_end/testcases/inference/future_then_ifNull2.dart:31:41: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//     return /*info:DOWN_CAST_COMPOSITE*/ x ?? new Future<int>.value(3);
-//                                         ^
-//
 import self as self;
 import "dart:core" as core;
 import "dart:async" as asy;

pkg/front_end/testcases/inference/future_then_ifNull2.dart.strong.transformed.expect

@@ -1,23 +1,4 @@
 library test;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/inference/future_then_ifNull2.dart:20:11: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//           x ?? await new Future<int>.value(3));
-//           ^
-//
-// pkg/front_end/testcases/inference/future_then_ifNull2.dart:23:41: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//     return /*info:DOWN_CAST_COMPOSITE*/ await x ?? new Future<int>.value(3);
-//                                         ^
-//
-// pkg/front_end/testcases/inference/future_then_ifNull2.dart:28:11: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//           x ?? new Future<int>.value(3));
-//           ^
-//
-// pkg/front_end/testcases/inference/future_then_ifNull2.dart:31:41: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//     return /*info:DOWN_CAST_COMPOSITE*/ x ?? new Future<int>.value(3);
-//                                         ^
-//
 import self as self;
 import "dart:core" as core;
 import "dart:async" as asy;

pkg/front_end/testcases/inference/future_then_ifNull2.dart.weak.expect

@@ -1,23 +1,4 @@
 library test;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/inference/future_then_ifNull2.dart:20:11: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//           x ?? await new Future<int>.value(3));
-//           ^
-//
-// pkg/front_end/testcases/inference/future_then_ifNull2.dart:23:41: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//     return /*info:DOWN_CAST_COMPOSITE*/ await x ?? new Future<int>.value(3);
-//                                         ^
-//
-// pkg/front_end/testcases/inference/future_then_ifNull2.dart:28:11: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//           x ?? new Future<int>.value(3));
-//           ^
-//
-// pkg/front_end/testcases/inference/future_then_ifNull2.dart:31:41: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//     return /*info:DOWN_CAST_COMPOSITE*/ x ?? new Future<int>.value(3);
-//                                         ^
-//
 import self as self;
 import "dart:core" as core;
 import "dart:async" as asy;

pkg/front_end/testcases/inference/future_then_ifNull2.dart.weak.modular.expect

@@ -1,23 +1,4 @@
 library test;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/inference/future_then_ifNull2.dart:20:11: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//           x ?? await new Future<int>.value(3));
-//           ^
-//
-// pkg/front_end/testcases/inference/future_then_ifNull2.dart:23:41: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//     return /*info:DOWN_CAST_COMPOSITE*/ await x ?? new Future<int>.value(3);
-//                                         ^
-//
-// pkg/front_end/testcases/inference/future_then_ifNull2.dart:28:11: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//           x ?? new Future<int>.value(3));
-//           ^
-//
-// pkg/front_end/testcases/inference/future_then_ifNull2.dart:31:41: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//     return /*info:DOWN_CAST_COMPOSITE*/ x ?? new Future<int>.value(3);
-//                                         ^
-//
 import self as self;
 import "dart:core" as core;
 import "dart:async" as asy;

pkg/front_end/testcases/inference/future_then_ifNull2.dart.weak.transformed.expect

@@ -1,23 +1,4 @@
 library test;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/inference/future_then_ifNull2.dart:20:11: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//           x ?? await new Future<int>.value(3));
-//           ^
-//
-// pkg/front_end/testcases/inference/future_then_ifNull2.dart:23:41: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//     return /*info:DOWN_CAST_COMPOSITE*/ await x ?? new Future<int>.value(3);
-//                                         ^
-//
-// pkg/front_end/testcases/inference/future_then_ifNull2.dart:28:11: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//           x ?? new Future<int>.value(3));
-//           ^
-//
-// pkg/front_end/testcases/inference/future_then_ifNull2.dart:31:41: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
-//     return /*info:DOWN_CAST_COMPOSITE*/ x ?? new Future<int>.value(3);
-//                                         ^
-//
 import self as self;
 import "dart:core" as core;
 import "dart:async" as asy;

pkg/front_end/testcases/nnbd/issue41102.dart.strong.expect

@@ -2,11 +2,6 @@ library;
 //
 // Problems in library:
 //
-// pkg/front_end/testcases/nnbd/issue41102.dart:17:12: Warning: Operand of null-aware operation '?.' has type 'List<dynamic>' which excludes null.
-//  - 'List' is from 'dart:core'.
-// final s2 = s1?.length;
-//            ^
-//
 // pkg/front_end/testcases/nnbd/issue41102.dart:19:36: Error: The value 'null' can't be assigned to the parameter type 'int' because 'int' is not nullable.
 // final s3 = new List<int>.filled(2, null);
 //                                    ^

pkg/front_end/testcases/nnbd/issue41102.dart.strong.transformed.expect

@@ -2,11 +2,6 @@ library;
 //
 // Problems in library:
 //
-// pkg/front_end/testcases/nnbd/issue41102.dart:17:12: Warning: Operand of null-aware operation '?.' has type 'List<dynamic>' which excludes null.
-//  - 'List' is from 'dart:core'.
-// final s2 = s1?.length;
-//            ^
-//
 // pkg/front_end/testcases/nnbd/issue41102.dart:19:36: Error: The value 'null' can't be assigned to the parameter type 'int' because 'int' is not nullable.
 // final s3 = new List<int>.filled(2, null);
 //                                    ^

pkg/front_end/testcases/nnbd/issue41102.dart.weak.expect

@@ -2,11 +2,6 @@ library;
 //
 // Problems in library:
 //
-// pkg/front_end/testcases/nnbd/issue41102.dart:17:12: Warning: Operand of null-aware operation '?.' has type 'List<dynamic>' which excludes null.
-//  - 'List' is from 'dart:core'.
-// final s2 = s1?.length;
-//            ^
-//
 // pkg/front_end/testcases/nnbd/issue41102.dart:19:36: Error: The value 'null' can't be assigned to the parameter type 'int' because 'int' is not nullable.
 // final s3 = new List<int>.filled(2, null);
 //                                    ^

pkg/front_end/testcases/nnbd/issue41102.dart.weak.modular.expect

@@ -2,11 +2,6 @@ library;
 //
 // Problems in library:
 //
-// pkg/front_end/testcases/nnbd/issue41102.dart:17:12: Warning: Operand of null-aware operation '?.' has type 'List<dynamic>' which excludes null.
-//  - 'List' is from 'dart:core'.
-// final s2 = s1?.length;
-//            ^
-//
 // pkg/front_end/testcases/nnbd/issue41102.dart:19:36: Error: The value 'null' can't be assigned to the parameter type 'int' because 'int' is not nullable.
 // final s3 = new List<int>.filled(2, null);
 //                                    ^

pkg/front_end/testcases/nnbd/issue41102.dart.weak.outline.expect

@@ -2,11 +2,6 @@ library;
 //
 // Problems in library:
 //
-// pkg/front_end/testcases/nnbd/issue41102.dart:17:12: Warning: Operand of null-aware operation '?.' has type 'List<dynamic>' which excludes null.
-//  - 'List' is from 'dart:core'.
-// final s2 = s1?.length;
-//            ^
-//
 // pkg/front_end/testcases/nnbd/issue41102.dart:19:36: Error: The value 'null' can't be assigned to the parameter type 'int' because 'int' is not nullable.
 // final s3 = new List<int>.filled(2, null);
 //                                    ^

pkg/front_end/testcases/nnbd/issue41102.dart.weak.transformed.expect

@@ -2,11 +2,6 @@ library;
 //
 // Problems in library:
 //
-// pkg/front_end/testcases/nnbd/issue41102.dart:17:12: Warning: Operand of null-aware operation '?.' has type 'List<dynamic>' which excludes null.
-//  - 'List' is from 'dart:core'.
-// final s2 = s1?.length;
-//            ^
-//
 // pkg/front_end/testcases/nnbd/issue41102.dart:19:36: Error: The value 'null' can't be assigned to the parameter type 'int' because 'int' is not nullable.
 // final s3 = new List<int>.filled(2, null);
 //                                    ^

pkg/front_end/testcases/nnbd/issue42758.dart.strong.expect

@@ -2,10 +2,6 @@ library;
 //
 // Problems in library:
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:7:17: Warning: Operand of null-aware operation '...?' has type 'Never' which excludes null.
-//   var l2 = [...?n1];
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:8:16: Error: Can't spread a value with static type 'Never?'.
 //   var l3 = [...n2];
 //                ^
@@ -14,10 +10,6 @@ library;
 //   var l5 = [...n3];
 //                ^
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:13:17: Warning: Operand of null-aware operation '...?' has type 'Never' which excludes null.
-//   var s2 = {...?n1, n1};
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:14:16: Error: Can't spread a value with static type 'Never?'.
 //   var s3 = {...n2, n1};
 //                ^
@@ -26,10 +18,6 @@ library;
 //   var s5 = {...n3, n1};
 //                ^
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:19:17: Warning: Operand of null-aware operation '...?' has type 'Never' which excludes null.
-//   var m2 = {...?n1, n1: n1};
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:20:16: Error: Can't spread a value with static type 'Never?'.
 //   var m3 = {...n2, n1: n1};
 //                ^
@@ -38,10 +26,6 @@ library;
 //   var m5 = {...n3, n1: n1};
 //                ^
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:29:17: Warning: Operand of null-aware operation '...?' has type 'N1' which excludes null.
-//   var l2 = [...?n1];
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:30:16: Error: Can't spread a value with static type 'N2'.
 //   var l3 = [...n2];
 //                ^
@@ -50,10 +34,6 @@ library;
 //   var l5 = [...n3];
 //                ^
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:35:17: Warning: Operand of null-aware operation '...?' has type 'N1' which excludes null.
-//   var s2 = {...?n1, n1};
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:36:16: Error: Can't spread a value with static type 'N2'.
 //   var s3 = {...n2, n1};
 //                ^
@@ -62,10 +42,6 @@ library;
 //   var s5 = {...n3, n1};
 //                ^
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:41:17: Warning: Operand of null-aware operation '...?' has type 'N1' which excludes null.
-//   var m2 = {...?n1, n1: n1};
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:42:16: Error: Can't spread a value with static type 'N2'.
 //   var m3 = {...n2, n1: n1};
 //                ^

pkg/front_end/testcases/nnbd/issue42758.dart.strong.transformed.expect

@@ -2,10 +2,6 @@ library;
 //
 // Problems in library:
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:7:17: Warning: Operand of null-aware operation '...?' has type 'Never' which excludes null.
-//   var l2 = [...?n1];
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:8:16: Error: Can't spread a value with static type 'Never?'.
 //   var l3 = [...n2];
 //                ^
@@ -14,10 +10,6 @@ library;
 //   var l5 = [...n3];
 //                ^
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:13:17: Warning: Operand of null-aware operation '...?' has type 'Never' which excludes null.
-//   var s2 = {...?n1, n1};
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:14:16: Error: Can't spread a value with static type 'Never?'.
 //   var s3 = {...n2, n1};
 //                ^
@@ -26,10 +18,6 @@ library;
 //   var s5 = {...n3, n1};
 //                ^
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:19:17: Warning: Operand of null-aware operation '...?' has type 'Never' which excludes null.
-//   var m2 = {...?n1, n1: n1};
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:20:16: Error: Can't spread a value with static type 'Never?'.
 //   var m3 = {...n2, n1: n1};
 //                ^
@@ -38,10 +26,6 @@ library;
 //   var m5 = {...n3, n1: n1};
 //                ^
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:29:17: Warning: Operand of null-aware operation '...?' has type 'N1' which excludes null.
-//   var l2 = [...?n1];
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:30:16: Error: Can't spread a value with static type 'N2'.
 //   var l3 = [...n2];
 //                ^
@@ -50,10 +34,6 @@ library;
 //   var l5 = [...n3];
 //                ^
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:35:17: Warning: Operand of null-aware operation '...?' has type 'N1' which excludes null.
-//   var s2 = {...?n1, n1};
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:36:16: Error: Can't spread a value with static type 'N2'.
 //   var s3 = {...n2, n1};
 //                ^
@@ -62,10 +42,6 @@ library;
 //   var s5 = {...n3, n1};
 //                ^
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:41:17: Warning: Operand of null-aware operation '...?' has type 'N1' which excludes null.
-//   var m2 = {...?n1, n1: n1};
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:42:16: Error: Can't spread a value with static type 'N2'.
 //   var m3 = {...n2, n1: n1};
 //                ^

pkg/front_end/testcases/nnbd/issue42758.dart.weak.expect

@@ -2,10 +2,6 @@ library;
 //
 // Problems in library:
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:7:17: Warning: Operand of null-aware operation '...?' has type 'Never' which excludes null.
-//   var l2 = [...?n1];
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:8:16: Error: Can't spread a value with static type 'Never?'.
 //   var l3 = [...n2];
 //                ^
@@ -14,10 +10,6 @@ library;
 //   var l5 = [...n3];
 //                ^
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:13:17: Warning: Operand of null-aware operation '...?' has type 'Never' which excludes null.
-//   var s2 = {...?n1, n1};
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:14:16: Error: Can't spread a value with static type 'Never?'.
 //   var s3 = {...n2, n1};
 //                ^
@@ -26,10 +18,6 @@ library;
 //   var s5 = {...n3, n1};
 //                ^
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:19:17: Warning: Operand of null-aware operation '...?' has type 'Never' which excludes null.
-//   var m2 = {...?n1, n1: n1};
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:20:16: Error: Can't spread a value with static type 'Never?'.
 //   var m3 = {...n2, n1: n1};
 //                ^
@@ -38,10 +26,6 @@ library;
 //   var m5 = {...n3, n1: n1};
 //                ^
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:29:17: Warning: Operand of null-aware operation '...?' has type 'N1' which excludes null.
-//   var l2 = [...?n1];
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:30:16: Error: Can't spread a value with static type 'N2'.
 //   var l3 = [...n2];
 //                ^
@@ -50,10 +34,6 @@ library;
 //   var l5 = [...n3];
 //                ^
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:35:17: Warning: Operand of null-aware operation '...?' has type 'N1' which excludes null.
-//   var s2 = {...?n1, n1};
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:36:16: Error: Can't spread a value with static type 'N2'.
 //   var s3 = {...n2, n1};
 //                ^
@@ -62,10 +42,6 @@ library;
 //   var s5 = {...n3, n1};
 //                ^
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:41:17: Warning: Operand of null-aware operation '...?' has type 'N1' which excludes null.
-//   var m2 = {...?n1, n1: n1};
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:42:16: Error: Can't spread a value with static type 'N2'.
 //   var m3 = {...n2, n1: n1};
 //                ^

pkg/front_end/testcases/nnbd/issue42758.dart.weak.modular.expect

@@ -2,10 +2,6 @@ library;
 //
 // Problems in library:
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:7:17: Warning: Operand of null-aware operation '...?' has type 'Never' which excludes null.
-//   var l2 = [...?n1];
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:8:16: Error: Can't spread a value with static type 'Never?'.
 //   var l3 = [...n2];
 //                ^
@@ -14,10 +10,6 @@ library;
 //   var l5 = [...n3];
 //                ^
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:13:17: Warning: Operand of null-aware operation '...?' has type 'Never' which excludes null.
-//   var s2 = {...?n1, n1};
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:14:16: Error: Can't spread a value with static type 'Never?'.
 //   var s3 = {...n2, n1};
 //                ^
@@ -26,10 +18,6 @@ library;
 //   var s5 = {...n3, n1};
 //                ^
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:19:17: Warning: Operand of null-aware operation '...?' has type 'Never' which excludes null.
-//   var m2 = {...?n1, n1: n1};
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:20:16: Error: Can't spread a value with static type 'Never?'.
 //   var m3 = {...n2, n1: n1};
 //                ^
@@ -38,10 +26,6 @@ library;
 //   var m5 = {...n3, n1: n1};
 //                ^
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:29:17: Warning: Operand of null-aware operation '...?' has type 'N1' which excludes null.
-//   var l2 = [...?n1];
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:30:16: Error: Can't spread a value with static type 'N2'.
 //   var l3 = [...n2];
 //                ^
@@ -50,10 +34,6 @@ library;
 //   var l5 = [...n3];
 //                ^
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:35:17: Warning: Operand of null-aware operation '...?' has type 'N1' which excludes null.
-//   var s2 = {...?n1, n1};
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:36:16: Error: Can't spread a value with static type 'N2'.
 //   var s3 = {...n2, n1};
 //                ^
@@ -62,10 +42,6 @@ library;
 //   var s5 = {...n3, n1};
 //                ^
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:41:17: Warning: Operand of null-aware operation '...?' has type 'N1' which excludes null.
-//   var m2 = {...?n1, n1: n1};
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:42:16: Error: Can't spread a value with static type 'N2'.
 //   var m3 = {...n2, n1: n1};
 //                ^

pkg/front_end/testcases/nnbd/issue42758.dart.weak.transformed.expect

@@ -2,10 +2,6 @@ library;
 //
 // Problems in library:
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:7:17: Warning: Operand of null-aware operation '...?' has type 'Never' which excludes null.
-//   var l2 = [...?n1];
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:8:16: Error: Can't spread a value with static type 'Never?'.
 //   var l3 = [...n2];
 //                ^
@@ -14,10 +10,6 @@ library;
 //   var l5 = [...n3];
 //                ^
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:13:17: Warning: Operand of null-aware operation '...?' has type 'Never' which excludes null.
-//   var s2 = {...?n1, n1};
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:14:16: Error: Can't spread a value with static type 'Never?'.
 //   var s3 = {...n2, n1};
 //                ^
@@ -26,10 +18,6 @@ library;
 //   var s5 = {...n3, n1};
 //                ^
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:19:17: Warning: Operand of null-aware operation '...?' has type 'Never' which excludes null.
-//   var m2 = {...?n1, n1: n1};
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:20:16: Error: Can't spread a value with static type 'Never?'.
 //   var m3 = {...n2, n1: n1};
 //                ^
@@ -38,10 +26,6 @@ library;
 //   var m5 = {...n3, n1: n1};
 //                ^
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:29:17: Warning: Operand of null-aware operation '...?' has type 'N1' which excludes null.
-//   var l2 = [...?n1];
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:30:16: Error: Can't spread a value with static type 'N2'.
 //   var l3 = [...n2];
 //                ^
@@ -50,10 +34,6 @@ library;
 //   var l5 = [...n3];
 //                ^
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:35:17: Warning: Operand of null-aware operation '...?' has type 'N1' which excludes null.
-//   var s2 = {...?n1, n1};
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:36:16: Error: Can't spread a value with static type 'N2'.
 //   var s3 = {...n2, n1};
 //                ^
@@ -62,10 +42,6 @@ library;
 //   var s5 = {...n3, n1};
 //                ^
 //
-// pkg/front_end/testcases/nnbd/issue42758.dart:41:17: Warning: Operand of null-aware operation '...?' has type 'N1' which excludes null.
-//   var m2 = {...?n1, n1: n1};
-//                 ^
-//
 // pkg/front_end/testcases/nnbd/issue42758.dart:42:16: Error: Can't spread a value with static type 'N2'.
 //   var m3 = {...n2, n1: n1};
 //                ^

pkg/front_end/testcases/nnbd/issue_39286_2.dart.strong.expect

@@ -1,16 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/nnbd/issue_39286_2.dart:15:14: Warning: Operand of null-aware operation '!' has type 'String' which excludes null.
-//   x..f()!.g()['Hi!']!..h()!.y = 2;
-//              ^
-//
-// pkg/front_end/testcases/nnbd/issue_39286_2.dart:15:24: Warning: Operand of null-aware operation '!' has type 'C' which excludes null.
-//  - 'C' is from 'pkg/front_end/testcases/nnbd/issue_39286_2.dart'.
-//   x..f()!.g()['Hi!']!..h()!.y = 2;
-//                        ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/nnbd/issue_39286_2.dart.strong.transformed.expect

@@ -1,16 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/nnbd/issue_39286_2.dart:15:14: Warning: Operand of null-aware operation '!' has type 'String' which excludes null.
-//   x..f()!.g()['Hi!']!..h()!.y = 2;
-//              ^
-//
-// pkg/front_end/testcases/nnbd/issue_39286_2.dart:15:24: Warning: Operand of null-aware operation '!' has type 'C' which excludes null.
-//  - 'C' is from 'pkg/front_end/testcases/nnbd/issue_39286_2.dart'.
-//   x..f()!.g()['Hi!']!..h()!.y = 2;
-//                        ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/nnbd/issue_39286_2.dart.weak.expect

@@ -1,16 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/nnbd/issue_39286_2.dart:15:14: Warning: Operand of null-aware operation '!' has type 'String' which excludes null.
-//   x..f()!.g()['Hi!']!..h()!.y = 2;
-//              ^
-//
-// pkg/front_end/testcases/nnbd/issue_39286_2.dart:15:24: Warning: Operand of null-aware operation '!' has type 'C' which excludes null.
-//  - 'C' is from 'pkg/front_end/testcases/nnbd/issue_39286_2.dart'.
-//   x..f()!.g()['Hi!']!..h()!.y = 2;
-//                        ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/nnbd/issue_39286_2.dart.weak.modular.expect

@@ -1,16 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/nnbd/issue_39286_2.dart:15:14: Warning: Operand of null-aware operation '!' has type 'String' which excludes null.
-//   x..f()!.g()['Hi!']!..h()!.y = 2;
-//              ^
-//
-// pkg/front_end/testcases/nnbd/issue_39286_2.dart:15:24: Warning: Operand of null-aware operation '!' has type 'C' which excludes null.
-//  - 'C' is from 'pkg/front_end/testcases/nnbd/issue_39286_2.dart'.
-//   x..f()!.g()['Hi!']!..h()!.y = 2;
-//                        ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/nnbd/issue_39286_2.dart.weak.transformed.expect

@@ -1,16 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/nnbd/issue_39286_2.dart:15:14: Warning: Operand of null-aware operation '!' has type 'String' which excludes null.
-//   x..f()!.g()['Hi!']!..h()!.y = 2;
-//              ^
-//
-// pkg/front_end/testcases/nnbd/issue_39286_2.dart:15:24: Warning: Operand of null-aware operation '!' has type 'C' which excludes null.
-//  - 'C' is from 'pkg/front_end/testcases/nnbd/issue_39286_2.dart'.
-//   x..f()!.g()['Hi!']!..h()!.y = 2;
-//                        ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/nnbd/never_receiver.dart.strong.expect

@@ -2,26 +2,6 @@ library;
 //
 // Problems in library:
 //
-// pkg/front_end/testcases/nnbd/never_receiver.dart:24:3: Warning: Operand of null-aware operation '?.' has type 'Never' which excludes null.
-//   x?.foo(); // Warning.
-//   ^
-//
-// pkg/front_end/testcases/nnbd/never_receiver.dart:25:3: Warning: Operand of null-aware operation '?.' has type 'Never' which excludes null.
-//   x?.bar; // Warning.
-//   ^
-//
-// pkg/front_end/testcases/nnbd/never_receiver.dart:26:3: Warning: Operand of null-aware operation '?.' has type 'Never' which excludes null.
-//   x?.baz = 42; // Warning.
-//   ^
-//
-// pkg/front_end/testcases/nnbd/never_receiver.dart:27:3: Warning: Operand of null-aware operation '?.' has type 'Never' which excludes null.
-//   x?[42]; // Warning.
-//   ^
-//
-// pkg/front_end/testcases/nnbd/never_receiver.dart:28:3: Warning: Operand of null-aware operation '?.' has type 'Never' which excludes null.
-//   x?[42] = 42; // Warning.
-//   ^
-//
 // pkg/front_end/testcases/nnbd/never_receiver.dart:30:5: Error: The method 'foo' isn't defined for the class 'Never?'.
 // Try correcting the name to the name of an existing method, or defining a method named 'foo'.
 //   y.foo(); // Error.

pkg/front_end/testcases/nnbd/never_receiver.dart.strong.transformed.expect

@@ -2,26 +2,6 @@ library;
 //
 // Problems in library:
 //
-// pkg/front_end/testcases/nnbd/never_receiver.dart:24:3: Warning: Operand of null-aware operation '?.' has type 'Never' which excludes null.
-//   x?.foo(); // Warning.
-//   ^
-//
-// pkg/front_end/testcases/nnbd/never_receiver.dart:25:3: Warning: Operand of null-aware operation '?.' has type 'Never' which excludes null.
-//   x?.bar; // Warning.
-//   ^
-//
-// pkg/front_end/testcases/nnbd/never_receiver.dart:26:3: Warning: Operand of null-aware operation '?.' has type 'Never' which excludes null.
-//   x?.baz = 42; // Warning.
-//   ^
-//
-// pkg/front_end/testcases/nnbd/never_receiver.dart:27:3: Warning: Operand of null-aware operation '?.' has type 'Never' which excludes null.
-//   x?[42]; // Warning.
-//   ^
-//
-// pkg/front_end/testcases/nnbd/never_receiver.dart:28:3: Warning: Operand of null-aware operation '?.' has type 'Never' which excludes null.
-//   x?[42] = 42; // Warning.
-//   ^
-//
 // pkg/front_end/testcases/nnbd/never_receiver.dart:30:5: Error: The method 'foo' isn't defined for the class 'Never?'.
 // Try correcting the name to the name of an existing method, or defining a method named 'foo'.
 //   y.foo(); // Error.

pkg/front_end/testcases/nnbd/never_receiver.dart.weak.expect

@@ -2,26 +2,6 @@ library;
 //
 // Problems in library:
 //
-// pkg/front_end/testcases/nnbd/never_receiver.dart:24:3: Warning: Operand of null-aware operation '?.' has type 'Never' which excludes null.
-//   x?.foo(); // Warning.
-//   ^
-//
-// pkg/front_end/testcases/nnbd/never_receiver.dart:25:3: Warning: Operand of null-aware operation '?.' has type 'Never' which excludes null.
-//   x?.bar; // Warning.
-//   ^
-//
-// pkg/front_end/testcases/nnbd/never_receiver.dart:26:3: Warning: Operand of null-aware operation '?.' has type 'Never' which excludes null.
-//   x?.baz = 42; // Warning.
-//   ^
-//
-// pkg/front_end/testcases/nnbd/never_receiver.dart:27:3: Warning: Operand of null-aware operation '?.' has type 'Never' which excludes null.
-//   x?[42]; // Warning.
-//   ^
-//
-// pkg/front_end/testcases/nnbd/never_receiver.dart:28:3: Warning: Operand of null-aware operation '?.' has type 'Never' which excludes null.
-//   x?[42] = 42; // Warning.
-//   ^
-//
 // pkg/front_end/testcases/nnbd/never_receiver.dart:30:5: Error: The method 'foo' isn't defined for the class 'Never?'.
 // Try correcting the name to the name of an existing method, or defining a method named 'foo'.
 //   y.foo(); // Error.

pkg/front_end/testcases/nnbd/never_receiver.dart.weak.modular.expect

@@ -2,26 +2,6 @@ library;
 //
 // Problems in library:
 //
-// pkg/front_end/testcases/nnbd/never_receiver.dart:24:3: Warning: Operand of null-aware operation '?.' has type 'Never' which excludes null.
-//   x?.foo(); // Warning.
-//   ^
-//
-// pkg/front_end/testcases/nnbd/never_receiver.dart:25:3: Warning: Operand of null-aware operation '?.' has type 'Never' which excludes null.
-//   x?.bar; // Warning.
-//   ^
-//
-// pkg/front_end/testcases/nnbd/never_receiver.dart:26:3: Warning: Operand of null-aware operation '?.' has type 'Never' which excludes null.
-//   x?.baz = 42; // Warning.
-//   ^
-//
-// pkg/front_end/testcases/nnbd/never_receiver.dart:27:3: Warning: Operand of null-aware operation '?.' has type 'Never' which excludes null.
-//   x?[42]; // Warning.
-//   ^
-//
-// pkg/front_end/testcases/nnbd/never_receiver.dart:28:3: Warning: Operand of null-aware operation '?.' has type 'Never' which excludes null.
-//   x?[42] = 42; // Warning.
-//   ^
-//
 // pkg/front_end/testcases/nnbd/never_receiver.dart:30:5: Error: The method 'foo' isn't defined for the class 'Never?'.
 // Try correcting the name to the name of an existing method, or defining a method named 'foo'.
 //   y.foo(); // Error.

pkg/front_end/testcases/nnbd/never_receiver.dart.weak.transformed.expect

@@ -2,26 +2,6 @@ library;
 //
 // Problems in library:
 //
-// pkg/front_end/testcases/nnbd/never_receiver.dart:24:3: Warning: Operand of null-aware operation '?.' has type 'Never' which excludes null.
-//   x?.foo(); // Warning.
-//   ^
-//
-// pkg/front_end/testcases/nnbd/never_receiver.dart:25:3: Warning: Operand of null-aware operation '?.' has type 'Never' which excludes null.
-//   x?.bar; // Warning.
-//   ^
-//
-// pkg/front_end/testcases/nnbd/never_receiver.dart:26:3: Warning: Operand of null-aware operation '?.' has type 'Never' which excludes null.
-//   x?.baz = 42; // Warning.
-//   ^
-//
-// pkg/front_end/testcases/nnbd/never_receiver.dart:27:3: Warning: Operand of null-aware operation '?.' has type 'Never' which excludes null.
-//   x?[42]; // Warning.
-//   ^
-//
-// pkg/front_end/testcases/nnbd/never_receiver.dart:28:3: Warning: Operand of null-aware operation '?.' has type 'Never' which excludes null.
-//   x?[42] = 42; // Warning.
-//   ^
-//
 // pkg/front_end/testcases/nnbd/never_receiver.dart:30:5: Error: The method 'foo' isn't defined for the class 'Never?'.
 // Try correcting the name to the name of an existing method, or defining a method named 'foo'.
 //   y.foo(); // Error.

pkg/front_end/testcases/nnbd/null_access.dart.strong.expect

@@ -74,26 +74,12 @@ library;
 //   nullableClass?.nullableField += 2; // error
 //                                ^
 //
-// pkg/front_end/testcases/nnbd/null_access.dart:54:35: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
-//   nullableClass?.nonNullableClass.nonNullableField ??= 0; // ok
-//                                   ^
-//
 // pkg/front_end/testcases/nnbd/null_access.dart:57:16: Error: Can't use an expression of type 'Class?' as a function because it's potentially null.
 //  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_access.dart'.
 // Try calling using ?.call instead.
 //   nullableClass(); // error
 //                ^
 //
-// pkg/front_end/testcases/nnbd/null_access.dart:59:3: Warning: Operand of null-aware operation '?.' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_access.dart'.
-//   nonNullableClass?.nonNullableClass(); // ok
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_access.dart:60:3: Warning: Operand of null-aware operation '?.' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_access.dart'.
-//   nonNullableClass?.nonNullableClass.nonNullableClass(); // ok
-//   ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/nnbd/null_access.dart.strong.transformed.expect

@@ -74,26 +74,12 @@ library;
 //   nullableClass?.nullableField += 2; // error
 //                                ^
 //
-// pkg/front_end/testcases/nnbd/null_access.dart:54:35: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
-//   nullableClass?.nonNullableClass.nonNullableField ??= 0; // ok
-//                                   ^
-//
 // pkg/front_end/testcases/nnbd/null_access.dart:57:16: Error: Can't use an expression of type 'Class?' as a function because it's potentially null.
 //  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_access.dart'.
 // Try calling using ?.call instead.
 //   nullableClass(); // error
 //                ^
 //
-// pkg/front_end/testcases/nnbd/null_access.dart:59:3: Warning: Operand of null-aware operation '?.' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_access.dart'.
-//   nonNullableClass?.nonNullableClass(); // ok
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_access.dart:60:3: Warning: Operand of null-aware operation '?.' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_access.dart'.
-//   nonNullableClass?.nonNullableClass.nonNullableClass(); // ok
-//   ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/nnbd/null_access.dart.weak.expect

@@ -74,26 +74,12 @@ library;
 //   nullableClass?.nullableField += 2; // error
 //                                ^
 //
-// pkg/front_end/testcases/nnbd/null_access.dart:54:35: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
-//   nullableClass?.nonNullableClass.nonNullableField ??= 0; // ok
-//                                   ^
-//
 // pkg/front_end/testcases/nnbd/null_access.dart:57:16: Error: Can't use an expression of type 'Class?' as a function because it's potentially null.
 //  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_access.dart'.
 // Try calling using ?.call instead.
 //   nullableClass(); // error
 //                ^
 //
-// pkg/front_end/testcases/nnbd/null_access.dart:59:3: Warning: Operand of null-aware operation '?.' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_access.dart'.
-//   nonNullableClass?.nonNullableClass(); // ok
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_access.dart:60:3: Warning: Operand of null-aware operation '?.' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_access.dart'.
-//   nonNullableClass?.nonNullableClass.nonNullableClass(); // ok
-//   ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/nnbd/null_access.dart.weak.modular.expect

@@ -74,26 +74,12 @@ library;
 //   nullableClass?.nullableField += 2; // error
 //                                ^
 //
-// pkg/front_end/testcases/nnbd/null_access.dart:54:35: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
-//   nullableClass?.nonNullableClass.nonNullableField ??= 0; // ok
-//                                   ^
-//
 // pkg/front_end/testcases/nnbd/null_access.dart:57:16: Error: Can't use an expression of type 'Class?' as a function because it's potentially null.
 //  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_access.dart'.
 // Try calling using ?.call instead.
 //   nullableClass(); // error
 //                ^
 //
-// pkg/front_end/testcases/nnbd/null_access.dart:59:3: Warning: Operand of null-aware operation '?.' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_access.dart'.
-//   nonNullableClass?.nonNullableClass(); // ok
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_access.dart:60:3: Warning: Operand of null-aware operation '?.' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_access.dart'.
-//   nonNullableClass?.nonNullableClass.nonNullableClass(); // ok
-//   ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/nnbd/null_access.dart.weak.transformed.expect

@@ -74,26 +74,12 @@ library;
 //   nullableClass?.nullableField += 2; // error
 //                                ^
 //
-// pkg/front_end/testcases/nnbd/null_access.dart:54:35: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
-//   nullableClass?.nonNullableClass.nonNullableField ??= 0; // ok
-//                                   ^
-//
 // pkg/front_end/testcases/nnbd/null_access.dart:57:16: Error: Can't use an expression of type 'Class?' as a function because it's potentially null.
 //  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_access.dart'.
 // Try calling using ?.call instead.
 //   nullableClass(); // error
 //                ^
 //
-// pkg/front_end/testcases/nnbd/null_access.dart:59:3: Warning: Operand of null-aware operation '?.' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_access.dart'.
-//   nonNullableClass?.nonNullableClass(); // ok
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_access.dart:60:3: Warning: Operand of null-aware operation '?.' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_access.dart'.
-//   nonNullableClass?.nonNullableClass.nonNullableClass(); // ok
-//   ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/nnbd/null_aware_static_access.dart.strong.expect

@@ -1,67 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:17:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:18:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:19:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember = 42;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:21:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember.isEven;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:22:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember.toString();
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:23:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.property[0];
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:24:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.property[0] = 0;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:25:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.property2[0] ??= 0;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:26:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember2 ??= 42;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:27:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember += 2;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:28:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember++;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:29:5: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   --C?.staticMember;
-//     ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/nnbd/null_aware_static_access.dart.strong.transformed.expect

@@ -1,67 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:17:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:18:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:19:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember = 42;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:21:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember.isEven;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:22:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember.toString();
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:23:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.property[0];
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:24:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.property[0] = 0;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:25:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.property2[0] ??= 0;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:26:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember2 ??= 42;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:27:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember += 2;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:28:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember++;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:29:5: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   --C?.staticMember;
-//     ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/nnbd/null_aware_static_access.dart.weak.expect

@@ -1,67 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:17:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:18:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:19:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember = 42;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:21:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember.isEven;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:22:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember.toString();
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:23:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.property[0];
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:24:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.property[0] = 0;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:25:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.property2[0] ??= 0;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:26:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember2 ??= 42;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:27:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember += 2;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:28:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember++;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:29:5: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   --C?.staticMember;
-//     ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/nnbd/null_aware_static_access.dart.weak.modular.expect

@@ -1,67 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:17:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:18:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:19:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember = 42;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:21:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember.isEven;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:22:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember.toString();
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:23:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.property[0];
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:24:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.property[0] = 0;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:25:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.property2[0] ??= 0;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:26:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember2 ??= 42;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:27:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember += 2;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:28:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember++;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:29:5: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   --C?.staticMember;
-//     ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/nnbd/null_aware_static_access.dart.weak.transformed.expect

@@ -1,67 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:17:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:18:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:19:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember = 42;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:21:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember.isEven;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:22:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember.toString();
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:23:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.property[0];
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:24:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.property[0] = 0;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:25:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.property2[0] ??= 0;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:26:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember2 ??= 42;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:27:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember += 2;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:28:3: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   C?.staticMember++;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_static_access.dart:29:5: Warning: The class 'C' cannot be null.
-// Try replacing '?.' with '.'
-//   --C?.staticMember;
-//     ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/nnbd/null_aware_this_access.dart.strong.expect

@@ -1,117 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:12:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.m1;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:13:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.m1 = 42;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:14:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.method();
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:15:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property.m1;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:16:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property.method();
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:17:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0];
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:18:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0] = 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:19:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0] ??= 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:20:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0];
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:21:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0] = 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:22:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0] ??= 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:23:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.m1 ??= 42;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:24:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.m2 += 2;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:25:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.m2++;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:26:7: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     --this?.m2;
-//       ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:27:5: Warning: Operand of null-aware operation '??' has type 'C' which excludes null.
-//  - 'C' is from 'pkg/front_end/testcases/nnbd/null_aware_this_access.dart'.
-//     this ?? new C();
-//     ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:41:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0];
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:42:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0] = 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:43:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0] += 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:44:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0];
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:45:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0] = 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:46:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0] += 0;
-//     ^^^^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/nnbd/null_aware_this_access.dart.strong.transformed.expect

@@ -1,117 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:12:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.m1;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:13:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.m1 = 42;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:14:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.method();
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:15:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property.m1;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:16:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property.method();
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:17:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0];
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:18:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0] = 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:19:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0] ??= 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:20:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0];
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:21:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0] = 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:22:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0] ??= 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:23:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.m1 ??= 42;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:24:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.m2 += 2;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:25:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.m2++;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:26:7: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     --this?.m2;
-//       ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:27:5: Warning: Operand of null-aware operation '??' has type 'C' which excludes null.
-//  - 'C' is from 'pkg/front_end/testcases/nnbd/null_aware_this_access.dart'.
-//     this ?? new C();
-//     ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:41:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0];
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:42:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0] = 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:43:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0] += 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:44:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0];
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:45:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0] = 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:46:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0] += 0;
-//     ^^^^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/nnbd/null_aware_this_access.dart.weak.expect

@@ -1,117 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:12:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.m1;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:13:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.m1 = 42;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:14:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.method();
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:15:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property.m1;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:16:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property.method();
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:17:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0];
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:18:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0] = 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:19:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0] ??= 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:20:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0];
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:21:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0] = 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:22:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0] ??= 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:23:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.m1 ??= 42;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:24:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.m2 += 2;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:25:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.m2++;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:26:7: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     --this?.m2;
-//       ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:27:5: Warning: Operand of null-aware operation '??' has type 'C' which excludes null.
-//  - 'C' is from 'pkg/front_end/testcases/nnbd/null_aware_this_access.dart'.
-//     this ?? new C();
-//     ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:41:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0];
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:42:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0] = 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:43:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0] += 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:44:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0];
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:45:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0] = 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:46:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0] += 0;
-//     ^^^^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/nnbd/null_aware_this_access.dart.weak.modular.expect

@@ -1,117 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:12:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.m1;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:13:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.m1 = 42;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:14:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.method();
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:15:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property.m1;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:16:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property.method();
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:17:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0];
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:18:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0] = 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:19:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0] ??= 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:20:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0];
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:21:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0] = 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:22:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0] ??= 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:23:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.m1 ??= 42;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:24:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.m2 += 2;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:25:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.m2++;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:26:7: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     --this?.m2;
-//       ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:27:5: Warning: Operand of null-aware operation '??' has type 'C' which excludes null.
-//  - 'C' is from 'pkg/front_end/testcases/nnbd/null_aware_this_access.dart'.
-//     this ?? new C();
-//     ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:41:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0];
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:42:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0] = 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:43:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0] += 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:44:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0];
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:45:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0] = 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:46:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0] += 0;
-//     ^^^^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/nnbd/null_aware_this_access.dart.weak.transformed.expect

@@ -1,117 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:12:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.m1;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:13:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.m1 = 42;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:14:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.method();
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:15:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property.m1;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:16:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property.method();
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:17:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0];
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:18:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0] = 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:19:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0] ??= 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:20:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0];
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:21:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0] = 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:22:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0] ??= 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:23:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.m1 ??= 42;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:24:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.m2 += 2;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:25:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.m2++;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:26:7: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     --this?.m2;
-//       ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:27:5: Warning: Operand of null-aware operation '??' has type 'C' which excludes null.
-//  - 'C' is from 'pkg/front_end/testcases/nnbd/null_aware_this_access.dart'.
-//     this ?? new C();
-//     ^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:41:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0];
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:42:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0] = 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:43:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?[0] += 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:44:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0];
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:45:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0] = 0;
-//     ^^^^
-//
-// pkg/front_end/testcases/nnbd/null_aware_this_access.dart:46:5: Warning: The receiver 'this' cannot be null.
-// Try replacing '?.' with '.'
-//     this?.property[0] += 0;
-//     ^^^^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/nnbd/null_check.dart.strong.expect

@@ -1,90 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:14:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.field;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:15:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.field = 42;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:16:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.method;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:17:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.method();
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:18:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.field!.toString();
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:19:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.method()!.toString();
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:20:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c! + c;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:21:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c! + c!;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:21:8: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c! + c!;
-//        ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:22:7: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c + c!;
-//       ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:23:6: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   (c + c)!;
-//      ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:26:10: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !o! ? !o! : !!o!!;
-//          ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:26:17: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !o! ? !o! : !!o!!;
-//                 ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:26:18: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !o! ? !o! : !!o!!;
-//                  ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:27:5: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !(o!) ? (!o)! : (!(!o)!)!;
-//     ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:27:12: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !(o!) ? (!o)! : (!(!o)!)!;
-//            ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:27:22: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !(o!) ? (!o)! : (!(!o)!)!;
-//                      ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:27:20: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !(o!) ? (!o)! : (!(!o)!)!;
-//                    ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/nnbd/null_check.dart.strong.transformed.expect

@@ -1,90 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:14:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.field;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:15:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.field = 42;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:16:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.method;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:17:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.method();
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:18:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.field!.toString();
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:19:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.method()!.toString();
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:20:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c! + c;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:21:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c! + c!;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:21:8: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c! + c!;
-//        ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:22:7: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c + c!;
-//       ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:23:6: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   (c + c)!;
-//      ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:26:10: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !o! ? !o! : !!o!!;
-//          ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:26:17: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !o! ? !o! : !!o!!;
-//                 ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:26:18: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !o! ? !o! : !!o!!;
-//                  ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:27:5: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !(o!) ? (!o)! : (!(!o)!)!;
-//     ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:27:12: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !(o!) ? (!o)! : (!(!o)!)!;
-//            ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:27:22: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !(o!) ? (!o)! : (!(!o)!)!;
-//                      ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:27:20: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !(o!) ? (!o)! : (!(!o)!)!;
-//                    ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/nnbd/null_check.dart.weak.expect

@@ -1,90 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:14:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.field;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:15:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.field = 42;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:16:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.method;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:17:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.method();
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:18:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.field!.toString();
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:19:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.method()!.toString();
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:20:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c! + c;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:21:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c! + c!;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:21:8: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c! + c!;
-//        ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:22:7: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c + c!;
-//       ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:23:6: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   (c + c)!;
-//      ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:26:10: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !o! ? !o! : !!o!!;
-//          ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:26:17: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !o! ? !o! : !!o!!;
-//                 ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:26:18: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !o! ? !o! : !!o!!;
-//                  ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:27:5: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !(o!) ? (!o)! : (!(!o)!)!;
-//     ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:27:12: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !(o!) ? (!o)! : (!(!o)!)!;
-//            ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:27:22: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !(o!) ? (!o)! : (!(!o)!)!;
-//                      ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:27:20: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !(o!) ? (!o)! : (!(!o)!)!;
-//                    ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/nnbd/null_check.dart.weak.modular.expect

@@ -1,90 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:14:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.field;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:15:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.field = 42;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:16:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.method;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:17:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.method();
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:18:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.field!.toString();
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:19:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.method()!.toString();
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:20:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c! + c;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:21:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c! + c!;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:21:8: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c! + c!;
-//        ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:22:7: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c + c!;
-//       ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:23:6: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   (c + c)!;
-//      ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:26:10: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !o! ? !o! : !!o!!;
-//          ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:26:17: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !o! ? !o! : !!o!!;
-//                 ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:26:18: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !o! ? !o! : !!o!!;
-//                  ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:27:5: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !(o!) ? (!o)! : (!(!o)!)!;
-//     ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:27:12: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !(o!) ? (!o)! : (!(!o)!)!;
-//            ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:27:22: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !(o!) ? (!o)! : (!(!o)!)!;
-//                      ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:27:20: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !(o!) ? (!o)! : (!(!o)!)!;
-//                    ^
-//
 import self as self;
 import "dart:core" as core;
 

pkg/front_end/testcases/nnbd/null_check.dart.weak.transformed.expect

@@ -1,90 +1,4 @@
 library;
-//
-// Problems in library:
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:14:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.field;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:15:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.field = 42;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:16:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.method;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:17:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.method();
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:18:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.field!.toString();
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:19:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c!.method()!.toString();
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:20:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c! + c;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:21:3: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c! + c!;
-//   ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:21:8: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c! + c!;
-//        ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:22:7: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   c + c!;
-//       ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:23:6: Warning: Operand of null-aware operation '!' has type 'Class' which excludes null.
-//  - 'Class' is from 'pkg/front_end/testcases/nnbd/null_check.dart'.
-//   (c + c)!;
-//      ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:26:10: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !o! ? !o! : !!o!!;
-//          ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:26:17: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !o! ? !o! : !!o!!;
-//                 ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:26:18: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !o! ? !o! : !!o!!;
-//                  ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:27:5: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !(o!) ? (!o)! : (!(!o)!)!;
-//     ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:27:12: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !(o!) ? (!o)! : (!(!o)!)!;
-//            ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:27:22: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !(o!) ? (!o)! : (!(!o)!)!;
-//                      ^
-//
-// pkg/front_end/testcases/nnbd/null_check.dart:27:20: Warning: Operand of null-aware operation '!' has type 'bool' which excludes null.
-//   !(o!) ? (!o)! : (!(!o)!)!;
-//                    ^
-//
 import self as self;
 import "dart:core" as core;