languages/dart-sdk
languages/dart-sdk
1
0
Fork 0
mirror of https://github.com/dart-lang/sdk synced 2024-09-16 03:17:55 +00:00
Code Issues Packages Projects Releases Wiki Activity

[cfe] Remove type_promotion_look_ahead_listener.dart

Browse source 
This experiment isn't used.

Change-Id: I8a45283182e361f6fc69f586346e01913b83560a
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/124686
Reviewed-by: Jens Johansen <jensj@google.com>
Commit-Queue: Johnni Winther <johnniwinther@google.com>
This commit is contained in:
Johnni Winther 2019-11-11 11:51:57 +00:00 committed by commit-bot@chromium.org
parent 12c92332f8
commit 4a661e19e2
117 changed files with 0 additions and 3740 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1427
pkg/front_end/lib/src/fasta/source/type_promotion_look_ahead_listener.dart
View file

File diff suppressed because it is too large Load diff

232
pkg/front_end/test/fasta/type_promotion_look_ahead_suite.dart
View file

@ -1,232 +0,0 @@
// Copyright (c) 2018, the Dart project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.
import 'dart:convert' show jsonDecode;
import 'package:_fe_analyzer_shared/src/messages/severity.dart' show Severity;
import 'package:_fe_analyzer_shared/src/parser/parser.dart' show Parser;
import 'package:_fe_analyzer_shared/src/scanner/scanner.dart' show Token;
import 'package:_fe_analyzer_shared/src/util/colors.dart' as colors;
import 'package:front_end/src/base/processed_options.dart'
show ProcessedOptions;
import 'package:front_end/src/fasta/builder/builder.dart';
import 'package:front_end/src/fasta/compiler_context.dart' show CompilerContext;
import 'package:front_end/src/fasta/messages.dart'
show LocatedMessage, templateUnspecified;
import 'package:front_end/src/fasta/source/type_promotion_look_ahead_listener.dart'
show
TypePromotionLookAheadListener,
TypePromotionState,
UnspecifiedDeclaration;
import 'package:kernel/ast.dart' show Source;
import 'package:testing/testing.dart'
show Chain, ChainContext, ExpectationSet, Future, Result, Step, runMe;
import '../utils/kernel_chain.dart' show MatchContext;
import '../utils/scanner_chain.dart' show Read, Scan, ScannedFile;
const String EXPECTATIONS = '''
[
{
"name": "ExpectationFileMismatch",
"group": "Fail"
},
{
"name": "ExpectationFileMissing",
"group": "Fail"
}
]
''';
Future<ChainContext> createContext(
Chain suite, Map<String, String> environment) async {
CompilerContext context =
await CompilerContext.runWithOptions<CompilerContext>(
new ProcessedOptions(),
(CompilerContext context) =>
new Future<CompilerContext>.value(context),
errorOnMissingInput: false);
colors.enableColors = false;
return new TypePromotionLookAheadContext(
context, environment["updateExpectations"] == "true");
}
class TypePromotionLookAheadContext extends ChainContext with MatchContext {
final CompilerContext context;
final List<Step> steps = const <Step>[
const Read(),
const Scan(),
const TypePromotionLookAheadStep(),
const CheckTypePromotionResult(),
];
final bool updateExpectations;
final ExpectationSet expectationSet =
new ExpectationSet.fromJsonList(jsonDecode(EXPECTATIONS));
TypePromotionLookAheadContext(this.context, this.updateExpectations);
}
class TypePromotionLookAheadStep extends Step<ScannedFile, TypePromotionResult,
TypePromotionLookAheadContext> {
const TypePromotionLookAheadStep();
String get name => "Type Promotion Look Ahead";
Future<Result<TypePromotionResult>> run(
ScannedFile file, TypePromotionLookAheadContext context) async {
return context.context
.runInContext<Result<TypePromotionResult>>((CompilerContext c) async {
Uri uri = file.file.uri;
c.uriToSource[uri] =
new Source(file.result.lineStarts, file.file.bytes, uri, uri);
StringBuffer buffer = new StringBuffer();
Parser parser = new Parser(new TestListener(uri, buffer));
try {
parser.parseUnit(file.result.tokens);
} finally {
c.uriToSource.remove(uri);
}
return pass(new TypePromotionResult(uri, "$buffer"));
});
}
}
class TestState extends TypePromotionState {
final StringBuffer buffer;
TestState(Uri uri, this.buffer) : super(uri);
void note(String message, Token token) {
buffer.writeln(CompilerContext.current.format(
debugMessage(message, uri, token.charOffset, token.lexeme.length),
Severity.context));
}
@override
void checkEmpty(Token token) {
if (stack.isNotEmpty) {
throw CompilerContext.current.format(
debugMessage("Stack not empty", uri, token?.charOffset ?? -1,
token?.length ?? 1),
Severity.internalProblem);
}
}
@override
void declareIdentifier(Token token) {
super.declareIdentifier(token);
trace("Declared ${token.lexeme}", token);
}
@override
Builder nullValue(String name, Token token) {
return new DebugDeclaration(name, uri, token?.charOffset ?? -1);
}
@override
void registerWrite(UnspecifiedDeclaration declaration, Token token) {
note("Write to ${declaration.name}@${declaration.charOffset}", token);
}
@override
void registerPromotionCandidate(
UnspecifiedDeclaration declaration, Token token) {
note("Possible promotion of ${declaration.name}@${declaration.charOffset}",
token);
}
@override
void report(LocatedMessage message, Severity severity,
{List<LocatedMessage> context}) {
CompilerContext.current.report(message, severity, context: context);
}
@override
void trace(String message, Token token) {
report(
debugMessage(message, uri, token?.charOffset ?? -1, token?.length ?? 1),
Severity.warning);
for (Object o in stack) {
String s = " $o";
int index = s.indexOf("\n");
if (index != -1) {
s = s.substring(0, index) + "...";
}
print(s);
}
print('------------------\n');
}
}
LocatedMessage debugMessage(String text, Uri uri, int offset, int length) {
return templateUnspecified
.withArguments(text)
.withLocation(uri, offset, length);
}
class TestListener extends TypePromotionLookAheadListener {
TestListener(Uri uri, StringBuffer buffer)
: super(new TestState(uri, buffer));
@override
void debugEvent(String name, Token token) {
state.trace(name, token);
}
}
class DebugDeclaration extends BuilderImpl {
final String name;
@override
final Uri fileUri;
@override
int charOffset;
DebugDeclaration(this.name, this.fileUri, this.charOffset);
Builder get parent => null;
String get fullNameForErrors => name;
String toString() => "<<$name@$charOffset>>";
}
class TypePromotionResult {
final Uri uri;
final String trace;
const TypePromotionResult(this.uri, this.trace);
}
class CheckTypePromotionResult
extends Step<TypePromotionResult, Null, TypePromotionLookAheadContext> {
const CheckTypePromotionResult();
String get name => "Check Type Promotion Result";
Future<Result<Null>> run(
TypePromotionResult result, TypePromotionLookAheadContext context) {
return context.match<Null>(
".type_promotion.expect", result.trace, result.uri, null);
}
}
main([List<String> arguments = const []]) =>
runMe(arguments, createContext, configurationPath: "../../testing.json");

4
pkg/front_end/test/unit_test_suites.dart
View file

@ -24,8 +24,6 @@ import 'fasta/messages_suite.dart' as messages show createContext;
import 'fasta/strong_tester.dart' as strong show createContext;
import 'fasta/text_serialization_suite.dart' as text_serialization
show createContext;
import 'fasta/type_promotion_look_ahead_suite.dart' as type_promotion
show createContext;
import 'incremental_bulk_compiler_smoke_suite.dart' as incremental_bulk_compiler
show createContext;
import 'incremental_load_from_dill_suite.dart' as incremental_load
@ -209,8 +207,6 @@ final List<Suite> suites = [
path: "fasta/strong_tester.dart", shardCount: 4, shard: 2),
const Suite("fasta/strong4", strong.createContext, "../../testing.json",
path: "fasta/strong_tester.dart", shardCount: 4, shard: 3),
const Suite("fasta/type_promotion_look_ahead", type_promotion.createContext,
"../../testing.json"),
const Suite("incremental_bulk_compiler_smoke",
incremental_bulk_compiler.createContext, "../testing.json"),
const Suite("incremental_load_from_dill", incremental_load.createContext,

72
pkg/front_end/testcases/extensions/compounds.dart.type_promotion.expect
View file

@ -1,72 +0,0 @@
pkg/front_end/testcases/extensions/compounds.dart:12:43: Context: Possible promotion of other@340
bool operator ==(Object other) => other is Number && value == other.value;
^^
pkg/front_end/testcases/extensions/compounds.dart:19:15: Context: Possible promotion of other@501
if (other is int) {
^^
pkg/front_end/testcases/extensions/compounds.dart:21:22: Context: Possible promotion of other@501
} else if (other is Number) {
^^
pkg/front_end/testcases/extensions/compounds.dart:29:15: Context: Possible promotion of other@501
if (other is int) {
^^
pkg/front_end/testcases/extensions/compounds.dart:31:22: Context: Possible promotion of other@501
} else if (other is Number) {
^^
pkg/front_end/testcases/extensions/compounds.dart:161:16: Context: Write to v@3587
expect(n1, v += n1);
^^
pkg/front_end/testcases/extensions/compounds.dart:162:16: Context: Write to v@3587
expect(n2, v += n1);
^^
pkg/front_end/testcases/extensions/compounds.dart:163:16: Context: Write to v@3587
expect(n0, v -= n2);
^^
pkg/front_end/testcases/extensions/compounds.dart:164:16: Context: Write to v@3587
expect(n1, v += n1);
^^
pkg/front_end/testcases/extensions/compounds.dart:165:16: Context: Write to v@3587
expect(n0, v -= n1);
^^
pkg/front_end/testcases/extensions/compounds.dart:166:14: Context: Write to v@3587
expect(n1, ++v);
^^
pkg/front_end/testcases/extensions/compounds.dart:167:14: Context: Write to v@3587
expect(n0, --v);
^^
pkg/front_end/testcases/extensions/compounds.dart:168:15: Context: Write to v@3587
expect(n0, v++);
^^
pkg/front_end/testcases/extensions/compounds.dart:169:15: Context: Write to v@3587
expect(n1, v--);
^^
pkg/front_end/testcases/extensions/compounds.dart:173:5: Context: Write to v@3587
v += n1;
^^
pkg/front_end/testcases/extensions/compounds.dart:175:5: Context: Write to v@3587
v += n1;
^^
pkg/front_end/testcases/extensions/compounds.dart:177:5: Context: Write to v@3587
v -= n2;
^^
pkg/front_end/testcases/extensions/compounds.dart:179:5: Context: Write to v@3587
v += n1;
^^
pkg/front_end/testcases/extensions/compounds.dart:181:5: Context: Write to v@3587
v -= n1;
^^
pkg/front_end/testcases/extensions/compounds.dart:183:3: Context: Write to v@3587
++v;
^^
pkg/front_end/testcases/extensions/compounds.dart:185:3: Context: Write to v@3587
--v;
^^
pkg/front_end/testcases/extensions/compounds.dart:187:4: Context: Write to v@3587
v++;
^^
pkg/front_end/testcases/extensions/compounds.dart:189:4: Context: Write to v@3587
v--;
^^
pkg/front_end/testcases/extensions/compounds.dart:489:14: Context: Write to expected@13239
expected = null;
^

12
pkg/front_end/testcases/extensions/conflict_with_object.dart.type_promotion.expect
View file

@ -1,12 +0,0 @@
pkg/front_end/testcases/extensions/conflict_with_object.dart:16:9: Context: Write to value@422
value = Extension("").noSuchMethod;
^
pkg/front_end/testcases/extensions/conflict_with_object.dart:20:9: Context: Write to value@422
value = Extension("").runtimeType();
^
pkg/front_end/testcases/extensions/conflict_with_object.dart:27:9: Context: Write to value@762
value = "".noSuchMethod;
^
pkg/front_end/testcases/extensions/conflict_with_object.dart:29:9: Context: Write to value@762
value = "".runtimeType;
^

6
pkg/front_end/testcases/extensions/direct_static_access.dart.type_promotion.expect
View file

@ -1,6 +0,0 @@
pkg/front_end/testcases/extensions/direct_static_access.dart:101:11: Context: Write to field@408
field = property;
^
pkg/front_end/testcases/extensions/direct_static_access.dart:170:11: Context: Write to field@408
field = property;
^

216
pkg/front_end/testcases/extensions/explicit_extension_inference.dart.type_promotion.expect
View file

@ -1,216 +0,0 @@
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:27:13: Context: Write to cVariable@468
cVariable = GenericExtension(aClass).property;
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:28:13: Context: Write to cVariable@468
cVariable = GenericExtension<A>(aClass).property;
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:29:13: Context: Write to cVariable@468
cVariable = GenericExtension<B>(aClass).property;
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:30:13: Context: Write to cVariable@468
cVariable = GenericExtension<C>(aClass).property;
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:32:13: Context: Write to cVariable@468
cVariable = GenericExtension(bClass).property;
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:33:13: Context: Write to cVariable@468
cVariable = GenericExtension<A>(bClass).property;
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:34:13: Context: Write to cVariable@468
cVariable = GenericExtension<B>(bClass).property;
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:35:13: Context: Write to cVariable@468
cVariable = GenericExtension<C>(bClass).property;
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:37:13: Context: Write to aVariable@453
aVariable = GenericExtension(cClass).property;
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:38:13: Context: Write to aVariable@453
aVariable = GenericExtension<A>(cClass).property;
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:39:13: Context: Write to aVariable@453
aVariable = GenericExtension<B>(cClass).property;
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:40:13: Context: Write to aVariable@453
aVariable = GenericExtension<C>(cClass).property;
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:42:13: Context: Write to cVariable@468
cVariable = GenericExtension(aClass).method(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:43:13: Context: Write to cVariable@468
cVariable = GenericExtension<A>(aClass).method(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:44:13: Context: Write to cVariable@468
cVariable = GenericExtension<B>(aClass).method(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:45:13: Context: Write to cVariable@468
cVariable = GenericExtension<C>(aClass).method(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:47:13: Context: Write to cVariable@468
cVariable = GenericExtension(bClass).method(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:48:13: Context: Write to cVariable@468
cVariable = GenericExtension<A>(bClass).method(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:49:13: Context: Write to cVariable@468
cVariable = GenericExtension<B>(bClass).method(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:50:13: Context: Write to cVariable@468
cVariable = GenericExtension<C>(bClass).method(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:52:13: Context: Write to aVariable@453
aVariable = GenericExtension(cClass).method(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:53:13: Context: Write to aVariable@453
aVariable = GenericExtension<A>(cClass).method(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:54:13: Context: Write to aVariable@453
aVariable = GenericExtension<B>(cClass).method(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:55:13: Context: Write to aVariable@453
aVariable = GenericExtension<C>(cClass).method(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:57:13: Context: Write to cVariable@468
cVariable = GenericExtension(aClass).genericMethod1(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:58:13: Context: Write to cVariable@468
cVariable = GenericExtension(aClass).genericMethod1<A>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:59:13: Context: Write to cVariable@468
cVariable = GenericExtension(aClass).genericMethod1<B>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:60:13: Context: Write to cVariable@468
cVariable = GenericExtension(aClass).genericMethod1<C>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:61:13: Context: Write to cVariable@468
cVariable = GenericExtension<A>(aClass).genericMethod1(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:62:13: Context: Write to cVariable@468
cVariable = GenericExtension<A>(aClass).genericMethod1<A>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:63:13: Context: Write to cVariable@468
cVariable = GenericExtension<A>(aClass).genericMethod1<B>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:64:13: Context: Write to cVariable@468
cVariable = GenericExtension<A>(aClass).genericMethod1<C>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:65:13: Context: Write to cVariable@468
cVariable = GenericExtension<B>(aClass).genericMethod1(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:66:13: Context: Write to cVariable@468
cVariable = GenericExtension<B>(aClass).genericMethod1<A>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:67:13: Context: Write to cVariable@468
cVariable = GenericExtension<B>(aClass).genericMethod1<B>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:68:13: Context: Write to cVariable@468
cVariable = GenericExtension<B>(aClass).genericMethod1<C>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:69:13: Context: Write to cVariable@468
cVariable = GenericExtension<C>(aClass).genericMethod1(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:70:13: Context: Write to cVariable@468
cVariable = GenericExtension<C>(aClass).genericMethod1<A>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:71:13: Context: Write to cVariable@468
cVariable = GenericExtension<C>(aClass).genericMethod1<B>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:72:13: Context: Write to cVariable@468
cVariable = GenericExtension<C>(aClass).genericMethod1<C>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:74:13: Context: Write to cVariable@468
cVariable = GenericExtension(bClass).genericMethod1(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:75:13: Context: Write to cVariable@468
cVariable = GenericExtension(bClass).genericMethod1<A>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:76:13: Context: Write to cVariable@468
cVariable = GenericExtension(bClass).genericMethod1<B>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:77:13: Context: Write to cVariable@468
cVariable = GenericExtension(bClass).genericMethod1<C>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:78:13: Context: Write to cVariable@468
cVariable = GenericExtension<A>(bClass).genericMethod1(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:79:13: Context: Write to cVariable@468
cVariable = GenericExtension<A>(bClass).genericMethod1<A>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:80:13: Context: Write to cVariable@468
cVariable = GenericExtension<A>(bClass).genericMethod1<B>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:81:13: Context: Write to cVariable@468
cVariable = GenericExtension<A>(bClass).genericMethod1<C>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:82:13: Context: Write to cVariable@468
cVariable = GenericExtension<B>(bClass).genericMethod1(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:83:13: Context: Write to cVariable@468
cVariable = GenericExtension<B>(bClass).genericMethod1<A>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:84:13: Context: Write to cVariable@468
cVariable = GenericExtension<B>(bClass).genericMethod1<B>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:85:13: Context: Write to cVariable@468
cVariable = GenericExtension<B>(bClass).genericMethod1<C>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:86:13: Context: Write to cVariable@468
cVariable = GenericExtension<C>(bClass).genericMethod1(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:87:13: Context: Write to cVariable@468
cVariable = GenericExtension<C>(bClass).genericMethod1<A>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:88:13: Context: Write to cVariable@468
cVariable = GenericExtension<C>(bClass).genericMethod1<B>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:89:13: Context: Write to cVariable@468
cVariable = GenericExtension<C>(bClass).genericMethod1<C>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:91:13: Context: Write to cVariable@468
cVariable = GenericExtension(cClass).genericMethod1(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:92:13: Context: Write to cVariable@468
cVariable = GenericExtension(cClass).genericMethod1<A>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:93:13: Context: Write to cVariable@468
cVariable = GenericExtension(cClass).genericMethod1<B>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:94:13: Context: Write to cVariable@468
cVariable = GenericExtension(cClass).genericMethod1<C>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:95:13: Context: Write to cVariable@468
cVariable = GenericExtension<A>(cClass).genericMethod1(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:96:13: Context: Write to cVariable@468
cVariable = GenericExtension<A>(cClass).genericMethod1<A>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:97:13: Context: Write to cVariable@468
cVariable = GenericExtension<A>(cClass).genericMethod1<B>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:98:13: Context: Write to cVariable@468
cVariable = GenericExtension<A>(cClass).genericMethod1<C>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:99:13: Context: Write to cVariable@468
cVariable = GenericExtension<B>(cClass).genericMethod1(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:100:13: Context: Write to cVariable@468
cVariable = GenericExtension<B>(cClass).genericMethod1<A>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:101:13: Context: Write to cVariable@468
cVariable = GenericExtension<B>(cClass).genericMethod1<B>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:102:13: Context: Write to cVariable@468
cVariable = GenericExtension<B>(cClass).genericMethod1<C>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:103:13: Context: Write to cVariable@468
cVariable = GenericExtension<C>(cClass).genericMethod1(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:104:13: Context: Write to cVariable@468
cVariable = GenericExtension<C>(cClass).genericMethod1<A>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:105:13: Context: Write to cVariable@468
cVariable = GenericExtension<C>(cClass).genericMethod1<B>(aVariable);
^
pkg/front_end/testcases/extensions/explicit_extension_inference.dart:106:13: Context: Write to cVariable@468
cVariable = GenericExtension<C>(cClass).genericMethod1<C>(aVariable);
^

12
pkg/front_end/testcases/extensions/explicit_generic_extension_access.dart.type_promotion.expect
View file

@ -1,12 +0,0 @@
pkg/front_end/testcases/extensions/explicit_generic_extension_access.dart:15:16: Context: Write to latestType@375
latestType = '$T';
^
pkg/front_end/testcases/extensions/explicit_generic_extension_access.dart:19:16: Context: Write to latestType@375
latestType = '$T';
^
pkg/front_end/testcases/extensions/explicit_generic_extension_access.dart:23:16: Context: Write to latestType@375
latestType = '$T';
^
pkg/front_end/testcases/extensions/explicit_generic_extension_access.dart:27:16: Context: Write to latestType@375
latestType = '$T:$S';
^

3
pkg/front_end/testcases/extensions/extension_setter.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/extensions/extension_setter.dart:19:11: Context: Write to value@335
value = value + 1;
^

3
pkg/front_end/testcases/extensions/if_null.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/extensions/if_null.dart:27:5: Context: Write to c@408
c = new Class();
^

54
pkg/front_end/testcases/extensions/implicit_extension_inference.dart.type_promotion.expect
View file

@ -1,54 +0,0 @@
pkg/front_end/testcases/extensions/implicit_extension_inference.dart:27:13: Context: Write to cVariable@468
cVariable = aClass.property;
^
pkg/front_end/testcases/extensions/implicit_extension_inference.dart:28:13: Context: Write to cVariable@468
cVariable = bClass.property;
^
pkg/front_end/testcases/extensions/implicit_extension_inference.dart:29:13: Context: Write to aVariable@453
aVariable = cClass.property;
^
pkg/front_end/testcases/extensions/implicit_extension_inference.dart:31:13: Context: Write to cVariable@468
cVariable = aClass.method(aVariable);
^
pkg/front_end/testcases/extensions/implicit_extension_inference.dart:32:13: Context: Write to cVariable@468
cVariable = bClass.method(aVariable);
^
pkg/front_end/testcases/extensions/implicit_extension_inference.dart:33:13: Context: Write to aVariable@453
aVariable = cClass.method(aVariable);
^
pkg/front_end/testcases/extensions/implicit_extension_inference.dart:35:13: Context: Write to cVariable@468
cVariable = aClass.genericMethod1(aVariable);
^
pkg/front_end/testcases/extensions/implicit_extension_inference.dart:36:13: Context: Write to cVariable@468
cVariable = aClass.genericMethod1<A>(aVariable);
^
pkg/front_end/testcases/extensions/implicit_extension_inference.dart:37:13: Context: Write to cVariable@468
cVariable = aClass.genericMethod1<B>(aVariable);
^
pkg/front_end/testcases/extensions/implicit_extension_inference.dart:38:13: Context: Write to cVariable@468
cVariable = aClass.genericMethod1<C>(aVariable);
^
pkg/front_end/testcases/extensions/implicit_extension_inference.dart:40:13: Context: Write to cVariable@468
cVariable = bClass.genericMethod1(aVariable);
^
pkg/front_end/testcases/extensions/implicit_extension_inference.dart:41:13: Context: Write to cVariable@468
cVariable = bClass.genericMethod1<A>(aVariable);
^
pkg/front_end/testcases/extensions/implicit_extension_inference.dart:42:13: Context: Write to cVariable@468
cVariable = bClass.genericMethod1<B>(aVariable);
^
pkg/front_end/testcases/extensions/implicit_extension_inference.dart:43:13: Context: Write to cVariable@468
cVariable = bClass.genericMethod1<C>(aVariable);
^
pkg/front_end/testcases/extensions/implicit_extension_inference.dart:45:13: Context: Write to cVariable@468
cVariable = cClass.genericMethod1(aVariable);
^
pkg/front_end/testcases/extensions/implicit_extension_inference.dart:46:13: Context: Write to cVariable@468
cVariable = cClass.genericMethod1<A>(aVariable);
^
pkg/front_end/testcases/extensions/implicit_extension_inference.dart:47:13: Context: Write to cVariable@468
cVariable = cClass.genericMethod1<B>(aVariable);
^
pkg/front_end/testcases/extensions/implicit_extension_inference.dart:48:13: Context: Write to cVariable@468
cVariable = cClass.genericMethod1<C>(aVariable);
^

6
pkg/front_end/testcases/extensions/instance_access.dart.type_promotion.expect
View file

@ -1,6 +0,0 @@
pkg/front_end/testcases/extensions/instance_access.dart:37:10: Context: Write to value@755
value++;
^^
pkg/front_end/testcases/extensions/instance_access.dart:57:10: Context: Write to value@1217
value++;
^^

3
pkg/front_end/testcases/extensions/instance_access_of_static.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/extensions/instance_access_of_static.dart:18:10: Context: Write to value@447
value++;
^^

12
pkg/front_end/testcases/extensions/instance_tearoff.dart.type_promotion.expect
View file

@ -1,12 +0,0 @@
pkg/front_end/testcases/extensions/instance_tearoff.dart:54:6: Context: Write to c0@978
c0 = new Class1(-4);
^
pkg/front_end/testcases/extensions/instance_tearoff.dart:58:6: Context: Write to c1@1007
c1 = new Class1(-7);
^
pkg/front_end/testcases/extensions/instance_tearoff.dart:73:6: Context: Write to c0@1494
c0 = new Class2(-4);
^
pkg/front_end/testcases/extensions/instance_tearoff.dart:77:6: Context: Write to c1@1523
c1 = new Class2(-7);
^

9
pkg/front_end/testcases/extensions/issue38745.dart.type_promotion.expect
View file

@ -1,9 +0,0 @@
pkg/front_end/testcases/extensions/issue38745.dart:21:11: Context: Write to field@266
field = 23;
^
pkg/front_end/testcases/extensions/issue38745.dart:23:14: Context: Write to property@286
property = 23;
^
pkg/front_end/testcases/extensions/issue38745.dart:25:15: Context: Write to property2@349
property2 = 23;
^

3
pkg/front_end/testcases/extensions/null_aware.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/extensions/null_aware.dart:31:5: Context: Write to c@530
c = new Class();
^

3
pkg/front_end/testcases/extensions/operators.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/extensions/operators.dart:27:18: Context: Possible promotion of other@348
return other is Complex &&
^^

6
pkg/front_end/testcases/extensions/unnamed_extensions.dart.type_promotion.expect
View file

@ -1,6 +0,0 @@
pkg/front_end/testcases/extensions/unnamed_extensions.dart:37:10: Context: Write to value@744
value++;
^^
pkg/front_end/testcases/extensions/unnamed_extensions.dart:57:10: Context: Write to value@1195
value++;
^^

57
pkg/front_end/testcases/general/DeltaBlue.dart.type_promotion.expect
View file

@ -1,57 +0,0 @@
pkg/front_end/testcases/general/DeltaBlue.dart:458:20: Context: Write to overridden@13140
overridden = overridden.satisfy(mark));
^
pkg/front_end/testcases/general/DeltaBlue.dart:479:48: Context: Write to i@14066
for (int i = 0; i < unsatisfied.length; i++) {
^^
pkg/front_end/testcases/general/DeltaBlue.dart:483:16: Context: Write to strength@14021
strength = strength.nextWeaker();
^
pkg/front_end/testcases/general/DeltaBlue.dart:530:46: Context: Write to i@16109
for (int i = 0; i < constraints.length; i++) {
^^
pkg/front_end/testcases/general/DeltaBlue.dart:578:50: Context: Write to i@17909
for (int i = 0; i < v.constraints.length; i++) {
^^
pkg/front_end/testcases/general/DeltaBlue.dart:583:50: Context: Write to i@17909
for (int i = 0; i < v.constraints.length; i++) {
^^
pkg/front_end/testcases/general/DeltaBlue.dart:596:48: Context: Write to i@18497
for (int i = 0; i < v.constraints.length; i++) {
^^
pkg/front_end/testcases/general/DeltaBlue.dart:618:39: Context: Write to i@19006
for (int i = 0; i < list.length; i++) {
^^
pkg/front_end/testcases/general/DeltaBlue.dart:641:28: Context: Write to i@19940
for (int i = 0; i <= n; i++) {
^^
pkg/front_end/testcases/general/DeltaBlue.dart:644:23: Context: Write to first@19858
if (i == 0) first = v;
^
pkg/front_end/testcases/general/DeltaBlue.dart:645:22: Context: Write to last@19872
if (i == n) last = v;
^
pkg/front_end/testcases/general/DeltaBlue.dart:646:10: Context: Write to prev@19845
prev = v;
^
pkg/front_end/testcases/general/DeltaBlue.dart:651:29: Context: Write to i@19940
for (int i = 0; i < 100; i++) {
^^
pkg/front_end/testcases/general/DeltaBlue.dart:674:27: Context: Write to i@21031
for (int i = 0; i < n; i++) {
^^
pkg/front_end/testcases/general/DeltaBlue.dart:675:9: Context: Write to src@20956
src = new Variable("src", i);
^
pkg/front_end/testcases/general/DeltaBlue.dart:676:9: Context: Write to dst@20968
dst = new Variable("dst", i);
^
pkg/front_end/testcases/general/DeltaBlue.dart:686:31: Context: Write to i@21031
for (int i = 0; i < n - 1; i++) {
^^
pkg/front_end/testcases/general/DeltaBlue.dart:690:31: Context: Write to i@21031
for (int i = 0; i < n - 1; i++) {
^^
pkg/front_end/testcases/general/DeltaBlue.dart:698:28: Context: Write to i@21838
for (int i = 0; i < 10; i++) {
^^

3
pkg/front_end/testcases/general/arithmetic.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/general/arithmetic.dart:11:35: Context: Write to i@330
for (int i = 0; i < xs.length; i++) {}
^^

30
pkg/front_end/testcases/general/bad_setter_abstract.dart.type_promotion.expect
View file

@ -1,30 +0,0 @@
pkg/front_end/testcases/general/bad_setter_abstract.dart:22:11: Context: Write to threw@344
threw = true;
^
pkg/front_end/testcases/general/bad_setter_abstract.dart:24:11: Context: Write to threw@344
threw = false;
^
pkg/front_end/testcases/general/bad_setter_abstract.dart:32:11: Context: Write to threw@344
threw = true;
^
pkg/front_end/testcases/general/bad_setter_abstract.dart:34:11: Context: Write to threw@344
threw = false;
^
pkg/front_end/testcases/general/bad_setter_abstract.dart:42:11: Context: Write to threw@344
threw = true;
^
pkg/front_end/testcases/general/bad_setter_abstract.dart:44:11: Context: Write to threw@344
threw = false;
^
pkg/front_end/testcases/general/bad_setter_abstract.dart:55:11: Context: Write to threw@344
threw = true;
^
pkg/front_end/testcases/general/bad_setter_abstract.dart:57:11: Context: Write to threw@344
threw = false;
^
pkg/front_end/testcases/general/bad_setter_abstract.dart:65:11: Context: Write to threw@344
threw = true;
^
pkg/front_end/testcases/general/bad_setter_abstract.dart:67:11: Context: Write to threw@344
threw = false;
^

3
pkg/front_end/testcases/general/bug32414a.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/general/bug32414a.dart:10:5: Context: Write to b@305
b = 42;
^

3
pkg/front_end/testcases/general/cascade.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/general/cascade.dart:25:8: Context: Write to list@232
list = [
^

3
pkg/front_end/testcases/general/check_deferred_is_check.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/general/check_deferred_is_check.dart:9:11: Context: Possible promotion of x@279
print(x is lib.C);
^^

3
pkg/front_end/testcases/general/closure.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/general/closure.dart:18:7: Context: Write to x@336
x = new Foo();
^

9
pkg/front_end/testcases/general/control_flow_collection.dart.type_promotion.expect
View file

@ -1,9 +0,0 @@
pkg/front_end/testcases/general/control_flow_collection.dart:13:31: Context: Write to i@354
for (int i = 11; i <= 14; ++i) i,
^^
pkg/front_end/testcases/general/control_flow_collection.dart:22:31: Context: Write to i@354
for (int i = 11; i <= 14; ++i) i,
^^
pkg/front_end/testcases/general/control_flow_collection.dart:31:31: Context: Write to i@354
for (int i = 11; i <= 14; ++i) i: i,
^^

306
pkg/front_end/testcases/general/control_flow_collection_inference.dart.type_promotion.expect
View file

@ -1,306 +0,0 @@
pkg/front_end/testcases/general/control_flow_collection_inference.dart:123:49: Context: Write to i@7018
var list10 = [for (int i = 0; oracle("foo"); i++) 42];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:124:48: Context: Write to i@7018
var set10 = {for (int i = 0; oracle("foo"); i++) 42, null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:125:48: Context: Write to i@7018
var map10 = {for (int i = 0; oracle("foo"); i++) "bar": 42, "baz": null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:126:49: Context: Write to i@7018
var list11 = [for (int i = 0; oracle("foo"); i++) dynVar];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:127:48: Context: Write to i@7018
var set11 = {for (int i = 0; oracle("foo"); i++) dynVar, null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:128:48: Context: Write to i@7018
var map11 = {for (int i = 0; oracle("foo"); i++) "bar": dynVar, "baz": null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:129:49: Context: Write to i@7018
var list12 = [for (int i = 0; oracle("foo"); i++) [42]];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:130:48: Context: Write to i@7018
var set12 = {for (int i = 0; oracle("foo"); i++) [42], null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:131:48: Context: Write to i@7018
var map12 = {for (int i = 0; oracle("foo"); i++) "bar": [42], "baz": null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:132:49: Context: Write to i@7018
var list20 = [for (int i = 0; oracle("foo"); i++) ...[42]];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:133:48: Context: Write to i@7018
var set20 = {for (int i = 0; oracle("foo"); i++) ...[42], null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:134:48: Context: Write to i@7018
var map20 = {for (int i = 0; oracle("foo"); i++) ...{"bar": 42}, "baz": null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:135:49: Context: Write to i@7018
var list21 = [for (int i = 0; oracle("foo"); i++) ...[dynVar]];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:136:48: Context: Write to i@7018
var set21 = {for (int i = 0; oracle("foo"); i++) ...[dynVar], null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:137:48: Context: Write to i@7018
var map21 = {for (int i = 0; oracle("foo"); i++) ...{"bar": dynVar}, "baz": null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:138:49: Context: Write to i@7018
var list22 = [for (int i = 0; oracle("foo"); i++) ...[[42]]];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:139:48: Context: Write to i@7018
var set22 = {for (int i = 0; oracle("foo"); i++) ...[[42]], null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:140:48: Context: Write to i@7018
var map22 = {for (int i = 0; oracle("foo"); i++) ...{"bar": [42]}, "baz": null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:141:49: Context: Write to i@7018
var list30 = [for (int i = 0; oracle("foo"); i++) if (oracle()) ...[42]];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:142:48: Context: Write to i@7018
var set30 = {for (int i = 0; oracle("foo"); i++) if (oracle()) ...[42], null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:143:48: Context: Write to i@7018
var map30 = {for (int i = 0; oracle("foo"); i++) if (oracle()) ...{"bar": 42}, "baz": null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:144:49: Context: Write to i@7018
var list31 = [for (int i = 0; oracle("foo"); i++) if (oracle()) ...[dynVar]];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:145:48: Context: Write to i@7018
var set31 = {for (int i = 0; oracle("foo"); i++) if (oracle()) ...[dynVar], null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:146:48: Context: Write to i@7018
var map31 = {for (int i = 0; oracle("foo"); i++) if (oracle()) ...{"bar": dynVar}, "baz": null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:147:49: Context: Write to i@7018
var list33 = [for (int i = 0; oracle("foo"); i++) if (oracle()) ...[[42]]];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:148:48: Context: Write to i@7018
var set33 = {for (int i = 0; oracle("foo"); i++) if (oracle()) ...[[42]], null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:149:48: Context: Write to i@7018
var map33 = {for (int i = 0; oracle("foo"); i++) if (oracle()) ...{"bar": [42]}, "baz": null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:150:61: Context: Write to i@7018
List<List<int>> list40 = [for (int i = 0; oracle("foo"); i++) ...[[]]];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:151:59: Context: Write to i@7018
Set<List<int>> set40 = {for (int i = 0; oracle("foo"); i++) ...[[]], null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:152:67: Context: Write to i@7018
Map<String, List<int>> map40 = {for (int i = 0; oracle("foo"); i++) ...{"bar": []}, "baz": null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:153:61: Context: Write to i@7018
List<List<int>> list41 = [for (int i = 0; oracle("foo"); i++) ...{[]}];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:154:59: Context: Write to i@7018
Set<List<int>> set41 = {for (int i = 0; oracle("foo"); i++) ...{[]}, null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:155:61: Context: Write to i@7018
List<List<int>> list42 = [for (int i = 0; oracle("foo"); i++) if (oracle()) ...[[]]];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:156:59: Context: Write to i@7018
Set<List<int>> set42 = {for (int i = 0; oracle("foo"); i++) if (oracle()) ...[[]], null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:157:67: Context: Write to i@7018
Map<String, List<int>> map42 = {for (int i = 0; oracle("foo"); i++) if (oracle()) ...{"bar": []}, "baz": null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:158:55: Context: Write to i@7018
List<int> list50 = [for (int i = 0; oracle("foo"); i++) ...[]];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:159:53: Context: Write to i@7018
Set<int> set50 = {for (int i = 0; oracle("foo"); i++) ...[], null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:160:61: Context: Write to i@7018
Map<String, int> map50 = {for (int i = 0; oracle("foo"); i++) ...{}, "baz": null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:161:55: Context: Write to i@7018
List<int> list51 = [for (int i = 0; oracle("foo"); i++) ...{}];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:162:53: Context: Write to i@7018
Set<int> set51 = {for (int i = 0; oracle("foo"); i++) ...{}, null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:163:55: Context: Write to i@7018
List<int> list52 = [for (int i = 0; oracle("foo"); i++) if (oracle()) ...[]];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:164:53: Context: Write to i@7018
Set<int> set52 = {for (int i = 0; oracle("foo"); i++) if (oracle()) ...[], null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:165:61: Context: Write to i@7018
List<List<int>> list60 = [for (int i = 0; oracle("foo"); i++) ...[[]]];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:166:59: Context: Write to i@7018
Set<List<int>> set60 = {for (int i = 0; oracle("foo"); i++) ...[[]], null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:167:67: Context: Write to i@7018
Map<String, List<int>> map60 = {for (int i = 0; oracle("foo"); i++) ...{"bar": []}, "baz": null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:168:61: Context: Write to i@7018
List<List<int>> list61 = [for (int i = 0; oracle("foo"); i++) if (oracle()) ...[[]]];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:169:59: Context: Write to i@7018
Set<List<int>> set61 = {for (int i = 0; oracle("foo"); i++) if (oracle()) ...[[]], null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:170:67: Context: Write to i@7018
Map<String, List<int>> map61 = {for (int i = 0; oracle("foo"); i++) if (oracle()) ...{"bar": []}, "baz": null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:171:61: Context: Write to i@7018
List<List<int>> list70 = [for (int i = 0; oracle("foo"); i++) []];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:172:59: Context: Write to i@7018
Set<List<int>> set70 = {for (int i = 0; oracle("foo"); i++) [], null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:173:67: Context: Write to i@7018
Map<String, List<int>> map70 = {for (int i = 0; oracle("foo"); i++) "bar": [], "baz": null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:174:61: Context: Write to i@7018
List<List<int>> list71 = [for (int i = 0; oracle("foo"); i++) if (oracle()) []];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:175:59: Context: Write to i@7018
Set<List<int>> set71 = {for (int i = 0; oracle("foo"); i++) if (oracle()) [], null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:176:67: Context: Write to i@7018
Map<String, List<int>> map71 = {for (int i = 0; oracle("foo"); i++) if (oracle()) "bar": [], "baz": null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:177:49: Context: Write to i@7018
var list80 = [for (int i = 0; oracle("foo"); i++) if (oracle()) 42 else 3.14];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:178:48: Context: Write to i@7018
var set80 = {for (int i = 0; oracle("foo"); i++) if (oracle()) 42 else 3.14, null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:179:48: Context: Write to i@7018
var map80 = {for (int i = 0; oracle("foo"); i++) if (oracle()) "bar": 42 else "bar": 3.14, "baz": null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:180:49: Context: Write to i@7018
var list81 = [for (int i = 0; oracle("foo"); i++) if (oracle()) ...listInt else ...listDouble];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:181:48: Context: Write to i@7018
var set81 = {for (int i = 0; oracle("foo"); i++) if (oracle()) ...listInt else ...listDouble, null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:182:48: Context: Write to i@7018
var map81 = {for (int i = 0; oracle("foo"); i++) if (oracle()) ...mapStringInt else ...mapStringDouble, "baz": null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:183:49: Context: Write to i@7018
var list82 = [for (int i = 0; oracle("foo"); i++) if (oracle()) ...listInt else ...dynVar];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:184:48: Context: Write to i@7018
var set82 = {for (int i = 0; oracle("foo"); i++) if (oracle()) ...listInt else ...dynVar, null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:185:48: Context: Write to i@7018
var map82 = {for (int i = 0; oracle("foo"); i++) if (oracle()) ...mapStringInt else ...dynVar, "baz": null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:186:49: Context: Write to i@7018
var list83 = [for (int i = 0; oracle("foo"); i++) if (oracle()) 42 else ...listDouble];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:187:48: Context: Write to i@7018
var set83 = {for (int i = 0; oracle("foo"); i++) if (oracle()) ...listInt else 3.14, null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:188:48: Context: Write to i@7018
var map83 = {for (int i = 0; oracle("foo"); i++) if (oracle()) ...mapStringInt else "bar": 3.14, "baz": null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:189:55: Context: Write to i@7018
List<int> list90 = [for (int i = 0; oracle("foo"); i++) dynVar];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:190:53: Context: Write to i@7018
Set<int> set90 = {for (int i = 0; oracle("foo"); i++) dynVar, null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:191:61: Context: Write to i@7018
Map<String, int> map90 = {for (int i = 0; oracle("foo"); i++) "bar": dynVar, "baz": null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:192:55: Context: Write to i@7018
List<int> list91 = [for (int i = 0; oracle("foo"); i++) ...dynVar];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:193:53: Context: Write to i@7018
Set<int> set91 = {for (int i = 0; oracle("foo"); i++) ...dynVar, null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:194:61: Context: Write to i@7018
Map<String, int> map91 = {for (int i = 0; oracle("foo"); i++) ...dynVar, "baz": null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:195:40: Context: Write to index@6916
List<int> list100 = <int>[for (index = 0; oracle("foo"); index++) 42];
^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:195:65: Context: Write to index@6916
List<int> list100 = <int>[for (index = 0; oracle("foo"); index++) 42];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:196:38: Context: Write to index@6916
Set<int> set100 = <int>{for (index = 0; oracle("foo"); index++) 42};
^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:196:63: Context: Write to index@6916
Set<int> set100 = <int>{for (index = 0; oracle("foo"); index++) 42};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:197:54: Context: Write to index@6916
Map<String, int> map100 = <String, int>{for (index = 0; oracle("foo"); index++) "bar": 42};
^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:197:79: Context: Write to index@6916
Map<String, int> map100 = <String, int>{for (index = 0; oracle("foo"); index++) "bar": 42};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:204:48: Context: Write to i@7018
List<int> list130 = [for (var i = 1; i < 2; i++) i];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:205:46: Context: Write to i@7018
Set<int> set130 = {for (var i = 1; i < 2; i++) i};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:206:51: Context: Write to i@7018
Map<int, int> map130 = {for (var i = 1; i < 2; i++) i: i};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:210:41: Context: Write to i@13789
<int>[for (int i = 0; oracle("foo"); i++) "bar"];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:211:41: Context: Write to i@13789
<int>{for (int i = 0; oracle("foo"); i++) "bar", null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:212:46: Context: Write to i@13789
<int, int>{for (int i = 0; oracle("foo"); i++) "bar": "bar", "baz": null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:213:41: Context: Write to i@13789
<int>[for (int i = 0; oracle("foo"); i++) ...["bar"]];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:214:41: Context: Write to i@13789
<int>{for (int i = 0; oracle("foo"); i++) ...["bar"], null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:215:46: Context: Write to i@13789
<int, int>{for (int i = 0; oracle("foo"); i++) ...{"bar": "bar"}, "baz": null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:216:41: Context: Write to i@13789
<int>[for (int i = 0; oracle("foo"); i++) ...map];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:217:41: Context: Write to i@13789
<int>{for (int i = 0; oracle("foo"); i++) ...map, null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:218:46: Context: Write to i@13789
<int, int>{for (int i = 0; oracle("foo"); i++) ...list, 42: null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:219:44: Context: Write to i@13789
<String>[for (int i = 0; oracle("foo"); i++) if (oracle()) 42 else 3.14];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:220:44: Context: Write to i@13789
<String>{for (int i = 0; oracle("foo"); i++) if (oracle()) 42 else 3.14, null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:221:52: Context: Write to i@13789
<String, String>{for (int i = 0; oracle("foo"); i++) if (oracle()) "bar": 42 else "bar": 3.14, "baz": null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:222:41: Context: Write to i@13789
<int>[for (int i = 0; oracle("foo"); i++) if (oracle()) ...map else 42];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:223:41: Context: Write to i@13789
<int>{for (int i = 0; oracle("foo"); i++) if (oracle()) ...map else 42, null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:224:49: Context: Write to i@13789
<String, int>{for (int i = 0; oracle("foo"); i++) if (oracle()) ...list else "bar": 42, "baz": null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:225:41: Context: Write to i@13789
<int>[for (int i = 0; oracle("foo"); i++) if (oracle()) 42 else ...map];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:226:41: Context: Write to i@13789
<int>{for (int i = 0; oracle("foo"); i++) if (oracle()) 42 else ...map, null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:227:49: Context: Write to i@13789
<String, int>{for (int i = 0; oracle("foo"); i++) if (oracle()) "bar": 42 else ...list, "baz": null};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:267:29: Context: Possible promotion of a@16609
List<int> list10 = [if (a is B) a.foo];
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:268:27: Context: Possible promotion of a@16609
Set<int> set10 = {if (a is B) a.foo};
^^
pkg/front_end/testcases/general/control_flow_collection_inference.dart:269:32: Context: Possible promotion of a@16609
Map<int, int> map10 = {if (a is B) a.foo: a.foo};
^^

6
pkg/front_end/testcases/general/escape.dart.type_promotion.expect
View file

@ -1,6 +0,0 @@
pkg/front_end/testcases/general/escape.dart:31:5: Context: Write to x@483
x ??= "";
^^^
pkg/front_end/testcases/general/escape.dart:32:5: Context: Write to x@483
x ??= 45;
^^^

15
pkg/front_end/testcases/general/expressions.dart.type_promotion.expect
View file

@ -1,15 +0,0 @@
pkg/front_end/testcases/general/expressions.dart:34:5: Context: Write to i@286
i = 87;
^
pkg/front_end/testcases/general/expressions.dart:38:9: Context: Write to i@286
print(--i);
^^
pkg/front_end/testcases/general/expressions.dart:39:9: Context: Write to i@286
print(++i);
^^
pkg/front_end/testcases/general/expressions.dart:40:10: Context: Write to i@286
print(i--);
^^
pkg/front_end/testcases/general/expressions.dart:41:10: Context: Write to i@286
print(i++);
^^

3
pkg/front_end/testcases/general/fallthrough.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/general/fallthrough.dart:9:9: Context: Write to x@254
x = 4;
^

3
pkg/front_end/testcases/general/fibonacci.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/general/fibonacci.dart:11:28: Context: Write to i@332
for (int i = 0; i < 20; i++) {
^^

9
pkg/front_end/testcases/general/function_type_is_check.dart.type_promotion.expect
View file

@ -1,9 +0,0 @@
pkg/front_end/testcases/general/function_type_is_check.dart:8:9: Context: Possible promotion of f@272
if (f is void Function(Object, StackTrace)) return 1;
^^
pkg/front_end/testcases/general/function_type_is_check.dart:9:9: Context: Possible promotion of f@272
if (f is void Function(Object)) return 10;
^^
pkg/front_end/testcases/general/function_type_is_check.dart:10:9: Context: Possible promotion of f@272
if (f is void Function()) return 100;
^^

12
pkg/front_end/testcases/general/implicit_new.dart.type_promotion.expect
View file

@ -1,12 +0,0 @@
pkg/front_end/testcases/general/implicit_new.dart:31:5: Context: Write to x@522
x = prefix.Foo();
^
pkg/front_end/testcases/general/implicit_new.dart:33:5: Context: Write to z@559
z = prefix.Bar.named();
^
pkg/front_end/testcases/general/implicit_new.dart:39:5: Context: Write to l@682
l = [prefix.Foo(), prefix.Bar.named()];
^
pkg/front_end/testcases/general/implicit_new.dart:41:5: Context: Write to m@756
m = {"foo": prefix.Foo(), "bar": prefix.Bar.named()};
^

3
pkg/front_end/testcases/general/implicit_scope_test.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/general/implicit_scope_test.dart:28:30: Context: Write to i@736
for (int i = 0; i < 10; i++) var a = "bar", b = "baz";
^^

18
pkg/front_end/testcases/general/invalid_assignment.dart.type_promotion.expect
View file

@ -1,18 +0,0 @@
pkg/front_end/testcases/general/invalid_assignment.dart:10:5: Context: Write to i@273
i = 1;
^
pkg/front_end/testcases/general/invalid_assignment.dart:11:5: Context: Write to i@273
i = s;
^
pkg/front_end/testcases/general/invalid_assignment.dart:12:5: Context: Write to i@273
i ??= 1;
^^^
pkg/front_end/testcases/general/invalid_assignment.dart:13:5: Context: Write to i@273
i ??= s;
^^^
pkg/front_end/testcases/general/invalid_assignment.dart:14:5: Context: Write to a@288
a = new A();
^
pkg/front_end/testcases/general/invalid_assignment.dart:15:5: Context: Write to a@288
a += 1;
^^

21
pkg/front_end/testcases/general/nested_variable_set.dart.type_promotion.expect
View file

@ -1,21 +0,0 @@
pkg/front_end/testcases/general/nested_variable_set.dart:11:25: Context: Write to intLocal2@249
intLocal1 = intLocal2 = numLocal;
^
pkg/front_end/testcases/general/nested_variable_set.dart:11:13: Context: Write to intLocal1@232
intLocal1 = intLocal2 = numLocal;
^
pkg/front_end/testcases/general/nested_variable_set.dart:12:24: Context: Write to numLocal@266
intLocal1 = numLocal = intLocal2;
^
pkg/front_end/testcases/general/nested_variable_set.dart:12:13: Context: Write to intLocal1@232
intLocal1 = numLocal = intLocal2;
^
pkg/front_end/testcases/general/nested_variable_set.dart:13:12: Context: Write to numLocal@266
numLocal = 0.5;
^
pkg/front_end/testcases/general/nested_variable_set.dart:15:29: Context: Write to doubleLocal@285
intLocal1 = doubleLocal = numLocal;
^
pkg/front_end/testcases/general/nested_variable_set.dart:15:15: Context: Write to intLocal1@232
intLocal1 = doubleLocal = numLocal;
^

6
pkg/front_end/testcases/general/promoted_access.dart.type_promotion.expect
View file

@ -1,6 +0,0 @@
pkg/front_end/testcases/general/promoted_access.dart:3:11: Context: Possible promotion of o@28
if (o is Class) {
^^
pkg/front_end/testcases/general/promoted_access.dart:10:9: Context: Possible promotion of o@28
if (o is Class) {
^^

12
pkg/front_end/testcases/general/statements.dart.type_promotion.expect
View file

@ -1,12 +0,0 @@
pkg/front_end/testcases/general/statements.dart:51:10: Context: Write to done@988
done = true;
^
pkg/front_end/testcases/general/statements.dart:101:9: Context: Write to i@1834
if (++i < 3) continue;
^^
pkg/front_end/testcases/general/statements.dart:104:5: Context: Write to i@1834
i = 0;
^
pkg/front_end/testcases/general/statements.dart:108:9: Context: Write to i@1834
if (++i < 3) continue OUTER;
^^

9
pkg/front_end/testcases/general/unsound_promotion.dart.type_promotion.expect
View file

@ -1,9 +0,0 @@
pkg/front_end/testcases/general/unsound_promotion.dart:20:9: Context: Possible promotion of s@397
if (s is A) {
^^
pkg/front_end/testcases/general/unsound_promotion.dart:31:9: Context: Write to aList@541
aList = list;
^
pkg/front_end/testcases/general/unsound_promotion.dart:33:9: Context: Write to aList@541
aList = o;
^

12
pkg/front_end/testcases/inference/assign_local.dart.type_promotion.expect
View file

@ -1,12 +0,0 @@
pkg/front_end/testcases/inference/assign_local.dart:14:32: Context: Write to x@320
var /*@ type=int* */ x1 = (x = 1);
^
pkg/front_end/testcases/inference/assign_local.dart:15:35: Context: Write to x@320
var /*@ type=double* */ x2 = (x = 1.0);
^
pkg/front_end/testcases/inference/assign_local.dart:18:36: Context: Write to y@412
var /*@ type=A<int*>* */ y1 = (y = new /*@ typeArgs=int* */ A());
^
pkg/front_end/testcases/inference/assign_local.dart:19:36: Context: Write to y@412
var /*@ type=B<int*>* */ y2 = (y = new /*@ typeArgs=int* */ B());
^

3
pkg/front_end/testcases/inference/block_bodied_lambdas_downwards_incompatible_with_upwards_inference.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/inference/block_bodied_lambdas_downwards_incompatible_with_upwards_inference.dart:11:5: Context: Write to g@326
g = /*@ returnType=String* */ () {
^

3
pkg/front_end/testcases/inference/block_bodied_lambdas_infer_bottom_sync.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/inference/block_bodied_lambdas_infer_bottom_sync.dart:17:5: Context: Write to f@353
f = /*error:INVALID_CAST_FUNCTION_EXPR*/ /*@ returnType=Null? */ (/*@ type=Object* */ x) =>
^

3
pkg/front_end/testcases/inference/bug30620.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/inference/bug30620.dart:14:13: Context: Possible promotion of other@335
other is A && /*@ promotedType=A* */ other
^^

3
pkg/front_end/testcases/inference/bug30620_b.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/inference/bug30620_b.dart:14:13: Context: Possible promotion of other@335
other is A && /*@ promotedType=A* */ other
^^

3
pkg/front_end/testcases/inference/bug30620_c.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/inference/bug30620_c.dart:14:15: Context: Possible promotion of other@335
if (other is A && /*@ promotedType=A* */ other
^^

3
pkg/front_end/testcases/inference/bug30620_d.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/inference/bug30620_d.dart:8:24: Context: Possible promotion of obj@273
String foo(obj) => obj is String
^^

3
pkg/front_end/testcases/inference/bug31132.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/inference/bug31132.dart:15:28: Context: Possible promotion of x@318
var /*@ type=C* */ y = x is C ? /*@ promotedType=C* */ x : new C();
^^

24
pkg/front_end/testcases/inference/bug31133.dart.type_promotion.expect
View file

@ -1,24 +0,0 @@
pkg/front_end/testcases/inference/bug31133.dart:10:31: Context: Write to i@299
for (i /*@ target=num::+ */ ++;
^^
pkg/front_end/testcases/inference/bug31133.dart:12:30: Context: Write to i@299
i /*@ target=num::+ */ ++) {}
^^
pkg/front_end/testcases/inference/bug31133.dart:13:29: Context: Write to i@299
for (/*@ target=num::+ */ ++i;
^^
pkg/front_end/testcases/inference/bug31133.dart:15:30: Context: Write to i@299
i /*@ target=num::+ */ ++) {}
^^
pkg/front_end/testcases/inference/bug31133.dart:16:31: Context: Write to i@299
for (i /*@ target=num::- */ --;
^^
pkg/front_end/testcases/inference/bug31133.dart:18:30: Context: Write to i@299
i /*@ target=num::- */ --) {}
^^
pkg/front_end/testcases/inference/bug31133.dart:19:29: Context: Write to i@299
for (/*@ target=num::- */ --i;
^^
pkg/front_end/testcases/inference/bug31133.dart:21:30: Context: Write to i@299
i /*@ target=num::- */ --) {}
^^

48
pkg/front_end/testcases/inference/bug31436.dart.type_promotion.expect
View file

@ -1,48 +0,0 @@
pkg/front_end/testcases/inference/bug31436.dart:10:5: Context: Write to g@308
g = /*@ returnType=List<Object*>* */ () {
^
pkg/front_end/testcases/inference/bug31436.dart:13:12: Context: Possible promotion of g@308
assert(g is List<Object> Function());
^^
pkg/front_end/testcases/inference/bug31436.dart:17:5: Context: Write to g@308
g = /*@ returnType=List<int*>* */ () {
^
pkg/front_end/testcases/inference/bug31436.dart:20:12: Context: Possible promotion of g@308
assert(g is List<Object> Function());
^^
pkg/front_end/testcases/inference/bug31436.dart:21:12: Context: Possible promotion of g@308
assert(g is List<int> Function());
^^
pkg/front_end/testcases/inference/bug31436.dart:27:5: Context: Write to g@308
g = /*@ returnType=List<Object*>* */ () {
^
pkg/front_end/testcases/inference/bug31436.dart:30:12: Context: Possible promotion of g@308
assert(g is List<Object> Function());
^^
pkg/front_end/testcases/inference/bug31436.dart:34:5: Context: Write to o@857
o = 3;
^
pkg/front_end/testcases/inference/bug31436.dart:43:5: Context: Write to g@1323
g = /*@ returnType=List<Object*>* */ () => /*@ typeArgs=Object* */ [3];
^
pkg/front_end/testcases/inference/bug31436.dart:44:12: Context: Possible promotion of g@1323
assert(g is List<Object> Function());
^^
pkg/front_end/testcases/inference/bug31436.dart:48:5: Context: Write to g@1323
g = /*@ returnType=List<int*>* */ () => l;
^
pkg/front_end/testcases/inference/bug31436.dart:49:12: Context: Possible promotion of g@1323
assert(g is List<Object> Function());
^^
pkg/front_end/testcases/inference/bug31436.dart:50:12: Context: Possible promotion of g@1323
assert(g is List<int> Function());
^^
pkg/front_end/testcases/inference/bug31436.dart:56:5: Context: Write to g@1323
g = /*@ returnType=List<Object*>* */ () =>
^
pkg/front_end/testcases/inference/bug31436.dart:58:12: Context: Possible promotion of g@1323
assert(g is List<Object> Function());
^^
pkg/front_end/testcases/inference/bug31436.dart:62:5: Context: Write to o@1842
o = 3;
^

3
pkg/front_end/testcases/inference/dont_infer_type_on_dynamic.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/inference/dont_infer_type_on_dynamic.dart:10:5: Context: Write to x@281
x = "hi";
^

6
pkg/front_end/testcases/inference/dont_infer_type_when_initializer_is_null.dart.type_promotion.expect
View file

@ -1,6 +0,0 @@
pkg/front_end/testcases/inference/dont_infer_type_when_initializer_is_null.dart:10:5: Context: Write to x@295
x = "hi";
^
pkg/front_end/testcases/inference/dont_infer_type_when_initializer_is_null.dart:11:5: Context: Write to x@295
x = 3;
^

3
pkg/front_end/testcases/inference/downwards_inference_annotations_for_loop_variable.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/inference/downwards_inference_annotations_for_loop_variable.dart:16:30: Context: Write to i@372
i /*@ target=num::+ */ ++) {}
^^

9
pkg/front_end/testcases/inference/downwards_inference_assignment_statements.dart.type_promotion.expect
View file

@ -1,9 +0,0 @@
pkg/front_end/testcases/inference/downwards_inference_assignment_statements.dart:10:5: Context: Write to l@288
l = /*@ typeArgs=int* */ [/*error:LIST_ELEMENT_TYPE_NOT_ASSIGNABLE*/ "hello"];
^
pkg/front_end/testcases/inference/downwards_inference_assignment_statements.dart:11:10: Context: Write to l@288
l = (l = /*@ typeArgs=int* */ [1]);
^
pkg/front_end/testcases/inference/downwards_inference_assignment_statements.dart:11:5: Context: Write to l@288
l = (l = /*@ typeArgs=int* */ [1]);
^

6
pkg/front_end/testcases/inference/downwards_inference_on_function_of_t_using_the_t.dart.type_promotion.expect
View file

@ -1,6 +0,0 @@
pkg/front_end/testcases/inference/downwards_inference_on_function_of_t_using_the_t.dart:12:8: Context: Write to v1@368
v1 = <S> /*@returnType=main::::S*/ (/*@type=main::::S*/ x) => x;
^
pkg/front_end/testcases/inference/downwards_inference_on_function_of_t_using_the_t.dart:17:8: Context: Write to v2@553
v2 = <S> /*@returnType=List<main::::S>*/
^

60
pkg/front_end/testcases/inference/downwards_inference_on_generic_function_expressions.dart.type_promotion.expect
View file

@ -1,60 +0,0 @@
pkg/front_end/testcases/inference/downwards_inference_on_generic_function_expressions.dart:12:7: Context: Write to v@380
v = <T> /*@ returnType=Null? */ (int x) => null;
^
pkg/front_end/testcases/inference/downwards_inference_on_generic_function_expressions.dart:13:7: Context: Write to v@380
v = <T> /*@ returnType=String* */ (int x) => "hello";
^
pkg/front_end/testcases/inference/downwards_inference_on_generic_function_expressions.dart:14:7: Context: Write to v@380
v = /*error:INVALID_ASSIGNMENT*/ <T> /*@ returnType=String* */ (String x) =>
^
pkg/front_end/testcases/inference/downwards_inference_on_generic_function_expressions.dart:16:7: Context: Write to v@380
v = /*error:INVALID_ASSIGNMENT*/ <T> /*@ returnType=String* */ (int x) => 3;
^
pkg/front_end/testcases/inference/downwards_inference_on_generic_function_expressions.dart:17:7: Context: Write to v@380
v = <T> /*@ returnType=String* */ (int x) {
^
pkg/front_end/testcases/inference/downwards_inference_on_generic_function_expressions.dart:24:7: Context: Write to v@889
v = <T> /*@ returnType=Null? */ (/*@ type=int* */ x) => null;
^
pkg/front_end/testcases/inference/downwards_inference_on_generic_function_expressions.dart:25:7: Context: Write to v@889
v = <T> /*@ returnType=String* */ (/*@ type=int* */ x) => "hello";
^
pkg/front_end/testcases/inference/downwards_inference_on_generic_function_expressions.dart:26:7: Context: Write to v@889
v = /*info:INFERRED_TYPE_CLOSURE, error:INVALID_ASSIGNMENT*/ <
^
pkg/front_end/testcases/inference/downwards_inference_on_generic_function_expressions.dart:29:7: Context: Write to v@889
v = <T> /*@ returnType=String* */ (/*@ type=int* */ x) {
^
pkg/front_end/testcases/inference/downwards_inference_on_generic_function_expressions.dart:32:7: Context: Write to v@889
v = <T> /*@ returnType=String* */ (/*@ type=int* */ x) {
^
pkg/front_end/testcases/inference/downwards_inference_on_generic_function_expressions.dart:39:7: Context: Write to v@1531
v = <T> /*@ returnType=Null? */ (int x) => null;
^
pkg/front_end/testcases/inference/downwards_inference_on_generic_function_expressions.dart:40:7: Context: Write to v@1531
v = <T> /*@ returnType=List<String*>* */ (int x) => /*@ typeArgs=String* */ [
^
pkg/front_end/testcases/inference/downwards_inference_on_generic_function_expressions.dart:43:7: Context: Write to v@1531
v = /*error:INVALID_ASSIGNMENT*/ <T> /*@ returnType=List<String*>* */ (String
^
pkg/front_end/testcases/inference/downwards_inference_on_generic_function_expressions.dart:45:7: Context: Write to v@1531
v = <T> /*@ returnType=List<String*>* */ (int x) => /*@ typeArgs=String* */ [
^
pkg/front_end/testcases/inference/downwards_inference_on_generic_function_expressions.dart:48:7: Context: Write to v@1531
v = <T> /*@ returnType=List<String*>* */ (int x) {
^
pkg/front_end/testcases/inference/downwards_inference_on_generic_function_expressions.dart:59:7: Context: Write to x@2340
x = <T> /*@ returnType=int* */ (/*@ type=int* */ x) => x;
^
pkg/front_end/testcases/inference/downwards_inference_on_generic_function_expressions.dart:60:7: Context: Write to x@2340
x = <T> /*@ returnType=int* */ (/*@ type=int* */ x) => x /*@target=num::+*/ + 1;
^
pkg/front_end/testcases/inference/downwards_inference_on_generic_function_expressions.dart:62:7: Context: Write to y@2568
y = /*info:INFERRED_TYPE_CLOSURE, error:INVALID_ASSIGNMENT*/ <
^
pkg/front_end/testcases/inference/downwards_inference_on_generic_function_expressions.dart:65:7: Context: Write to y@2568
y = <T> /*@ returnType=String* */ (/*@ type=int* */ x) => /*info:DYNAMIC_INVOKE, info:DYNAMIC_CAST*/ x
^
pkg/front_end/testcases/inference/downwards_inference_on_generic_function_expressions.dart:69:7: Context: Write to z@2928
z = <T> /*@ returnType=String* */ (/*@ type=String* */ x) =>
^

3
pkg/front_end/testcases/inference/for_in_loop_promotion.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/inference/for_in_loop_promotion.dart:10:11: Context: Possible promotion of x@318
if (x is int) {
^^

6
pkg/front_end/testcases/inference/for_loop_empty_condition.dart.type_promotion.expect
View file

@ -1,6 +0,0 @@
pkg/front_end/testcases/inference/for_loop_empty_condition.dart:9:43: Context: Write to x@287
for (num x = 0;; x /*@ target=num::+ */ ++) {
^^
pkg/front_end/testcases/inference/for_loop_empty_condition.dart:11:11: Context: Possible promotion of x@287
if (x is int) {
^^

9
pkg/front_end/testcases/inference/for_loop_initializer_expression.dart.type_promotion.expect
View file

@ -1,9 +0,0 @@
pkg/front_end/testcases/inference/for_loop_initializer_expression.dart:10:10: Context: Write to x@282
for (x = 0; x /*@target=num::<*/ < 10; x /*@ target=num::+ */ ++) {
^
pkg/front_end/testcases/inference/for_loop_initializer_expression.dart:10:65: Context: Write to x@282
for (x = 0; x /*@target=num::<*/ < 10; x /*@ target=num::+ */ ++) {
^^
pkg/front_end/testcases/inference/for_loop_initializer_expression.dart:11:11: Context: Possible promotion of x@282
if (x is int) {
^^

6
pkg/front_end/testcases/inference/for_loop_promotion.dart.type_promotion.expect
View file

@ -1,6 +0,0 @@
pkg/front_end/testcases/inference/for_loop_promotion.dart:9:69: Context: Write to x@287
for (num x = 0; x /*@target=num::<*/ < 10; x /*@ target=num::+ */ ++) {
^^
pkg/front_end/testcases/inference/for_loop_promotion.dart:10:11: Context: Possible promotion of x@287
if (x is int) {
^^

3
pkg/front_end/testcases/inference/future_then_downwards_method_target.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/inference/future_then_downwards_method_target.dart:17:5: Context: Write to b@330
b = f. /*@ typeArgs=List<int*>* */ /*@target=Future::then*/ then(
^

3
pkg/front_end/testcases/inference/future_then_upwards_from_block.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/inference/future_then_upwards_from_block.dart:21:5: Context: Write to b@721
b = g;
^

3
pkg/front_end/testcases/inference/future_union_upwards_generic_methods.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/inference/future_union_upwards_generic_methods.dart:18:8: Context: Write to list@717
list = result2;
^

3
pkg/front_end/testcases/inference/generic_functions_return_typedef.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/inference/generic_functions_return_typedef.dart:15:12: Context: Write to takesInt@458
takesInt = y;
^

6
pkg/front_end/testcases/inference/generic_methods_downwards_inference_fold.dart.type_promotion.expect
View file

@ -1,6 +0,0 @@
pkg/front_end/testcases/inference/generic_methods_downwards_inference_fold.dart:20:5: Context: Write to y@448
y = /*info:DYNAMIC_CAST*/ z;
^
pkg/front_end/testcases/inference/generic_methods_downwards_inference_fold.dart:35:5: Context: Write to y@976
y = /*info:DYNAMIC_CAST*/ z;
^

6
pkg/front_end/testcases/inference/generic_methods_infer_js_builtin.dart.type_promotion.expect
View file

@ -1,6 +0,0 @@
pkg/front_end/testcases/inference/generic_methods_infer_js_builtin.dart:13:5: Context: Write to y@427
y = "world";
^
pkg/front_end/testcases/inference/generic_methods_infer_js_builtin.dart:14:5: Context: Write to y@427
y = /*error:INVALID_ASSIGNMENT*/ 42;
^

42
pkg/front_end/testcases/inference/infer_assign_to_local.dart.type_promotion.expect
View file

@ -1,42 +0,0 @@
pkg/front_end/testcases/inference/infer_assign_to_local.dart:23:9: Context: Write to local@474
local = /*@ typeArgs=B* */ f();
^
pkg/front_end/testcases/inference/infer_assign_to_local.dart:25:34: Context: Write to local@474
local /*@ target=Object::== */ ??= /*@ typeArgs=B* */ f();
^^^
pkg/front_end/testcases/inference/infer_assign_to_local.dart:27:28: Context: Write to local@474
local /*@ target=B::+ */ += /*@ typeArgs=C* */ f();
^^
pkg/front_end/testcases/inference/infer_assign_to_local.dart:29:28: Context: Write to local@474
local /*@ target=B::* */ *= /*@ typeArgs=B* */ f();
^^
pkg/front_end/testcases/inference/infer_assign_to_local.dart:31:28: Context: Write to local@474
local /*@ target=B::& */ &= /*@ typeArgs=A* */ f();
^^
pkg/front_end/testcases/inference/infer_assign_to_local.dart:33:22: Context: Write to local@474
/*@ target=B::- */ --local;
^^
pkg/front_end/testcases/inference/infer_assign_to_local.dart:35:28: Context: Write to local@474
local /*@ target=B::- */ --;
^^
pkg/front_end/testcases/inference/infer_assign_to_local.dart:37:33: Context: Write to local@474
var /*@ type=B* */ v1 = local = /*@ typeArgs=B* */ f();
^
pkg/front_end/testcases/inference/infer_assign_to_local.dart:40:38: Context: Write to local@474
local /*@ target=Object::== */ ??= /*@ typeArgs=B* */ f();
^^^
pkg/front_end/testcases/inference/infer_assign_to_local.dart:42:52: Context: Write to local@474
var /*@ type=A* */ v3 = local /*@ target=B::+ */ += /*@ typeArgs=C* */ f();
^^
pkg/front_end/testcases/inference/infer_assign_to_local.dart:44:52: Context: Write to local@474
var /*@ type=B* */ v4 = local /*@ target=B::* */ *= /*@ typeArgs=B* */ f();
^^
pkg/front_end/testcases/inference/infer_assign_to_local.dart:46:52: Context: Write to local@474
var /*@ type=C* */ v5 = local /*@ target=B::& */ &= /*@ typeArgs=A* */ f();
^^
pkg/front_end/testcases/inference/infer_assign_to_local.dart:48:46: Context: Write to local@474
var /*@ type=B* */ v6 = /*@ target=B::- */ --local;
^^
pkg/front_end/testcases/inference/infer_assign_to_local.dart:51:41: Context: Write to local@474
/*@ type=B* */ /*@ target=B::- */ --;
^^

69
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart.type_promotion.expect
View file

@ -1,69 +0,0 @@
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:13:31: Context: Write to t@343
var /*@ type=int* */ v1 = t = getInt();
^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:15:51: Context: Write to t@343
var /*@ type=int* */ v4 = t /*@target=num::==*/ ??= getInt();
^^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:17:50: Context: Write to t@343
var /*@ type=int* */ v7 = t /*@target=num::+*/ += getInt();
^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:19:49: Context: Write to t@343
var /*@ type=int* */ v10 = /*@target=num::+*/ ++t;
^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:22:43: Context: Write to t@343
/*@ type=int* */ /*@target=num::+*/ ++;
^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:26:31: Context: Write to t@343
var /*@ type=int* */ v1 = t = getInt();
^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:28:31: Context: Write to t@343
var /*@ type=num* */ v2 = t = getNum();
^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:30:34: Context: Write to t@343
var /*@ type=double* */ v3 = t = getDouble();
^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:32:51: Context: Write to t@343
var /*@ type=num* */ v4 = t /*@target=num::==*/ ??= getInt();
^^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:34:51: Context: Write to t@343
var /*@ type=num* */ v5 = t /*@target=num::==*/ ??= getNum();
^^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:36:51: Context: Write to t@343
var /*@ type=num* */ v6 = t /*@target=num::==*/ ??= getDouble();
^^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:38:50: Context: Write to t@343
var /*@ type=num* */ v7 = t /*@target=num::+*/ += getInt();
^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:40:50: Context: Write to t@343
var /*@ type=num* */ v8 = t /*@target=num::+*/ += getNum();
^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:42:50: Context: Write to t@343
var /*@ type=num* */ v9 = t /*@target=num::+*/ += getDouble();
^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:44:49: Context: Write to t@343
var /*@ type=num* */ v10 = /*@target=num::+*/ ++t;
^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:47:43: Context: Write to t@343
/*@ type=num* */ /*@target=num::+*/ ++;
^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:51:34: Context: Write to t@343
var /*@ type=double* */ v3 = t = getDouble();
^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:53:54: Context: Write to t@343
var /*@ type=double* */ v6 = t /*@target=num::==*/ ??= getDouble();
^^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:55:56: Context: Write to t@343
var /*@ type=double* */ v7 = t /*@target=double::+*/ += getInt();
^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:57:56: Context: Write to t@343
var /*@ type=double* */ v8 = t /*@target=double::+*/ += getNum();
^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:59:56: Context: Write to t@343
var /*@ type=double* */ v9 = t /*@target=double::+*/ += getDouble();
^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:61:55: Context: Write to t@343
var /*@ type=double* */ v10 = /*@target=double::+*/ ++t;
^^
pkg/front_end/testcases/inference/infer_assign_to_local_upwards.dart:64:49: Context: Write to t@343
/*@ type=double* */ /*@target=double::+*/ ++;
^^

3
pkg/front_end/testcases/inference/infer_consts_transitively_2.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/inference/infer_consts_transitively_2.dart:15:5: Context: Write to i@353
i = m1;
^

24
pkg/front_end/testcases/inference/infer_correctly_on_multiple_variables_declared_together.dart.type_promotion.expect
View file

@ -1,24 +0,0 @@
pkg/front_end/testcases/inference/infer_correctly_on_multiple_variables_declared_together.dart:20:5: Context: Write to s@374
s = /*info:DYNAMIC_CAST*/ new B(). /*@target=B::x*/ x;
^
pkg/front_end/testcases/inference/infer_correctly_on_multiple_variables_declared_together.dart:21:5: Context: Write to s@374
s = /*error:INVALID_ASSIGNMENT*/ new B(). /*@target=B::y*/ y;
^
pkg/front_end/testcases/inference/infer_correctly_on_multiple_variables_declared_together.dart:22:5: Context: Write to s@374
s = new B(). /*@target=B::z*/ z;
^
pkg/front_end/testcases/inference/infer_correctly_on_multiple_variables_declared_together.dart:23:5: Context: Write to s@374
s = /*error:INVALID_ASSIGNMENT*/ new B(). /*@target=B::w*/ w;
^
pkg/front_end/testcases/inference/infer_correctly_on_multiple_variables_declared_together.dart:25:5: Context: Write to i@383
i = /*info:DYNAMIC_CAST*/ new B(). /*@target=B::x*/ x;
^
pkg/front_end/testcases/inference/infer_correctly_on_multiple_variables_declared_together.dart:26:5: Context: Write to i@383
i = new B(). /*@target=B::y*/ y;
^
pkg/front_end/testcases/inference/infer_correctly_on_multiple_variables_declared_together.dart:27:5: Context: Write to i@383
i = /*error:INVALID_ASSIGNMENT*/ new B(). /*@target=B::z*/ z;
^
pkg/front_end/testcases/inference/infer_correctly_on_multiple_variables_declared_together.dart:28:5: Context: Write to i@383
i = new B(). /*@target=B::w*/ w;
^

6
pkg/front_end/testcases/inference/infer_from_variables_in_cycle_libs_when_flag_is_on.dart.type_promotion.expect
View file

@ -1,6 +0,0 @@
pkg/front_end/testcases/inference/infer_from_variables_in_cycle_libs_when_flag_is_on.dart:14:5: Context: Write to t@372
t = x;
^
pkg/front_end/testcases/inference/infer_from_variables_in_cycle_libs_when_flag_is_on.dart:15:5: Context: Write to t@372
t = y;
^

6
pkg/front_end/testcases/inference/infer_from_variables_in_cycle_libs_when_flag_is_on2.dart.type_promotion.expect
View file

@ -1,6 +0,0 @@
pkg/front_end/testcases/inference/infer_from_variables_in_cycle_libs_when_flag_is_on2.dart:16:5: Context: Write to t@383
t = A.x;
^
pkg/front_end/testcases/inference/infer_from_variables_in_cycle_libs_when_flag_is_on2.dart:17:5: Context: Write to t@383
t = B.y;
^

3
pkg/front_end/testcases/inference/infer_statics_transitively.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/inference/infer_statics_transitively.dart:15:5: Context: Write to i@354
i = m1;
^

6
pkg/front_end/testcases/inference/infer_statics_transitively2.dart.type_promotion.expect
View file

@ -1,6 +0,0 @@
pkg/front_end/testcases/inference/infer_statics_transitively2.dart:15:5: Context: Write to i@335
i = y1;
^
pkg/front_end/testcases/inference/infer_statics_transitively2.dart:16:5: Context: Write to i@335
i = y2;
^

12
pkg/front_end/testcases/inference/infer_statics_transitively3.dart.type_promotion.expect
View file

@ -1,12 +0,0 @@
pkg/front_end/testcases/inference/infer_statics_transitively3.dart:20:5: Context: Write to i@492
i = t1;
^
pkg/front_end/testcases/inference/infer_statics_transitively3.dart:21:5: Context: Write to i@492
i = t2;
^
pkg/front_end/testcases/inference/infer_statics_transitively3.dart:22:5: Context: Write to i@492
i = t3;
^
pkg/front_end/testcases/inference/infer_statics_transitively3.dart:23:5: Context: Write to i@492
i = t4;
^

3
pkg/front_end/testcases/inference/infer_type_on_var.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/inference/infer_type_on_var.dart:10:5: Context: Write to x@278
x = /*error:INVALID_ASSIGNMENT*/ "hi";
^

3
pkg/front_end/testcases/inference/infer_type_on_var2.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/inference/infer_type_on_var2.dart:10:5: Context: Write to x@295
x = /*error:INVALID_ASSIGNMENT*/ "hi";
^

18
pkg/front_end/testcases/inference/infer_type_on_var_from_field.dart.type_promotion.expect
View file

@ -1,18 +0,0 @@
pkg/front_end/testcases/inference/infer_type_on_var_from_field.dart:13:7: Context: Write to a@323
a = /*error:INVALID_ASSIGNMENT*/ "hi";
^
pkg/front_end/testcases/inference/infer_type_on_var_from_field.dart:14:7: Context: Write to a@323
a = 3;
^
pkg/front_end/testcases/inference/infer_type_on_var_from_field.dart:16:7: Context: Write to b@426
b = /*error:INVALID_ASSIGNMENT*/ "hi";
^
pkg/front_end/testcases/inference/infer_type_on_var_from_field.dart:17:7: Context: Write to b@426
b = 4;
^
pkg/front_end/testcases/inference/infer_type_on_var_from_field.dart:19:7: Context: Write to c@529
c = /*error:INVALID_ASSIGNMENT*/ "hi";
^
pkg/front_end/testcases/inference/infer_type_on_var_from_field.dart:20:7: Context: Write to c@529
c = 4;
^

18
pkg/front_end/testcases/inference/infer_type_on_var_from_top_level.dart.type_promotion.expect
View file

@ -1,18 +0,0 @@
pkg/front_end/testcases/inference/infer_type_on_var_from_top_level.dart:12:5: Context: Write to a@307
a = /*error:INVALID_ASSIGNMENT*/ "hi";
^
pkg/front_end/testcases/inference/infer_type_on_var_from_top_level.dart:13:5: Context: Write to a@307
a = 3;
^
pkg/front_end/testcases/inference/infer_type_on_var_from_top_level.dart:15:5: Context: Write to b@387
b = /*error:INVALID_ASSIGNMENT*/ "hi";
^
pkg/front_end/testcases/inference/infer_type_on_var_from_top_level.dart:16:5: Context: Write to b@387
b = 4;
^
pkg/front_end/testcases/inference/infer_type_on_var_from_top_level.dart:18:5: Context: Write to c@467
c = /*error:INVALID_ASSIGNMENT*/ "hi";
^
pkg/front_end/testcases/inference/infer_type_on_var_from_top_level.dart:19:5: Context: Write to c@467
c = 4;
^

3
pkg/front_end/testcases/inference/infer_types_on_loop_indices_for_loop_with_inference.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/inference/infer_types_on_loop_indices_for_loop_with_inference.dart:11:30: Context: Write to i@299
i /*@ target=num::+ */ ++) {
^^

15
pkg/front_end/testcases/inference/instantiate_tearoff.dart.type_promotion.expect
View file

@ -1,15 +0,0 @@
pkg/front_end/testcases/inference/instantiate_tearoff.dart:18:10: Context: Write to func@399
func = super. /*@target=C::f*/ f;
^
pkg/front_end/testcases/inference/instantiate_tearoff.dart:25:8: Context: Write to func@504
func = f;
^
pkg/front_end/testcases/inference/instantiate_tearoff.dart:26:8: Context: Write to func@504
func = new C(). /*@target=C::f*/ f;
^
pkg/front_end/testcases/inference/instantiate_tearoff.dart:27:8: Context: Write to func@504
func = C.g;
^
pkg/front_end/testcases/inference/instantiate_tearoff.dart:28:8: Context: Write to func@504
func = h;
^

3
pkg/front_end/testcases/inference/instantiate_tearoff_of_call.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/inference/instantiate_tearoff_of_call.dart:10:8: Context: Write to func@314
func = f.call;
^

3
pkg/front_end/testcases/inference/lambda_does_not_have_propagated_type_hint.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/inference/lambda_does_not_have_propagated_type_hint.dart:19:10: Context: Write to list@531
list = <String>[];
^

9
pkg/front_end/testcases/inference/logical_or_promotion.dart.type_promotion.expect
View file

@ -1,9 +0,0 @@
pkg/front_end/testcases/inference/logical_or_promotion.dart:16:11: Context: Possible promotion of o@338
if (o is A || o is B) {
^^
pkg/front_end/testcases/inference/logical_or_promotion.dart:16:21: Context: Possible promotion of o@338
if (o is A || o is B) {
^^
pkg/front_end/testcases/inference/logical_or_promotion.dart:17:13: Context: Possible promotion of o@338
if (o is A) {
^^

3
pkg/front_end/testcases/inference/no_error_when_declared_type_is_num_and_assigned_null.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/inference/no_error_when_declared_type_is_num_and_assigned_null.dart:10:5: Context: Write to x@278
x = null;
^

6
pkg/front_end/testcases/inference/null_literal_should_not_infer_as_bottom.dart.type_promotion.expect
View file

@ -1,6 +0,0 @@
pkg/front_end/testcases/inference/null_literal_should_not_infer_as_bottom.dart:15:5: Context: Write to f@353
f = /*@ returnType=Null? */ (/*@ type=Object* */ x) => 'hello';
^
pkg/front_end/testcases/inference/null_literal_should_not_infer_as_bottom.dart:18:5: Context: Write to g@537
g = 'hello';
^

6
pkg/front_end/testcases/inference/promote_bounds.dart.type_promotion.expect
View file

@ -1,6 +0,0 @@
pkg/front_end/testcases/inference/promote_bounds.dart:17:9: Context: Possible promotion of a@366
if (a is String) {
^^
pkg/front_end/testcases/inference/promote_bounds.dart:21:9: Context: Possible promotion of a@366
if (a is C) {
^^

3
pkg/front_end/testcases/inference/promote_from_logical_rhs.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/inference/promote_from_logical_rhs.dart:9:14: Context: Possible promotion of a@279
if (b && a is int) {
^^

9
pkg/front_end/testcases/inference/promotion_subtype_check.dart.type_promotion.expect
View file

@ -1,9 +0,0 @@
pkg/front_end/testcases/inference/promotion_subtype_check.dart:9:9: Context: Possible promotion of x@276
if (x is int) {
^^
pkg/front_end/testcases/inference/promotion_subtype_check.dart:10:36: Context: Possible promotion of x@276
if (/*@ promotedType=int* */ x is String) {
^^
pkg/front_end/testcases/inference/promotion_subtype_check.dart:18:9: Context: Possible promotion of x@276
if (x is String) {
^^

6
pkg/front_end/testcases/inference/try_catch_promotion.dart.type_promotion.expect
View file

@ -1,6 +0,0 @@
pkg/front_end/testcases/inference/try_catch_promotion.dart:20:11: Context: Possible promotion of x@382
if (x is D) {
^^
pkg/front_end/testcases/inference/try_catch_promotion.dart:23:11: Context: Possible promotion of y@385
if (y is E) {
^^

3
pkg/front_end/testcases/inference/type_promotion_simple.dart.type_promotion.expect
View file

@ -1,3 +0,0 @@
pkg/front_end/testcases/inference/type_promotion_simple.dart:10:9: Context: Possible promotion of n@279
if (n is int) {
^^

6
pkg/front_end/testcases/inference/type_promotion_stopped_by_access_in_a_closure.dart.type_promotion.expect
View file

@ -1,6 +0,0 @@
pkg/front_end/testcases/inference/type_promotion_stopped_by_access_in_a_closure.dart:10:9: Context: Possible promotion of n@279
if (n is int) {
^^
pkg/front_end/testcases/inference/type_promotion_stopped_by_access_in_a_closure.dart:16:5: Context: Write to n@279
n = null;
^

6
pkg/front_end/testcases/inference/type_promotion_stopped_by_assignment_in_scope.dart.type_promotion.expect
View file

@ -1,6 +0,0 @@
pkg/front_end/testcases/inference/type_promotion_stopped_by_assignment_in_scope.dart:10:9: Context: Possible promotion of n@279
if (n is int) {
^^
pkg/front_end/testcases/inference/type_promotion_stopped_by_assignment_in_scope.dart:12:7: Context: Write to n@279
n = null;
^

6
pkg/front_end/testcases/inference/type_promotion_stopped_by_mutation_in_a_closure.dart.type_promotion.expect
View file

@ -1,6 +0,0 @@
pkg/front_end/testcases/inference/type_promotion_stopped_by_mutation_in_a_closure.dart:10:9: Context: Possible promotion of n@279
if (n is int) {
^^
pkg/front_end/testcases/inference/type_promotion_stopped_by_mutation_in_a_closure.dart:14:7: Context: Write to n@279
n = null;
^

12
pkg/front_end/testcases/inference/void_return_type_subtypes_dynamic.dart.type_promotion.expect
View file

@ -1,12 +0,0 @@
pkg/front_end/testcases/inference/void_return_type_subtypes_dynamic.dart:29:5: Context: Write to x@543
x = 123;
^
pkg/front_end/testcases/inference/void_return_type_subtypes_dynamic.dart:30:5: Context: Write to x@543
x = 'hi';
^
pkg/front_end/testcases/inference/void_return_type_subtypes_dynamic.dart:31:5: Context: Write to y@598
y = /*error:INVALID_ASSIGNMENT*/ 123;
^
pkg/front_end/testcases/inference/void_return_type_subtypes_dynamic.dart:32:5: Context: Write to y@598
y = /*error:INVALID_ASSIGNMENT*/ 'hi';
^

42
pkg/front_end/testcases/inference_new/infer_assign_to_local.dart.type_promotion.expect
View file

@ -1,42 +0,0 @@
pkg/front_end/testcases/inference_new/infer_assign_to_local.dart:23:9: Context: Write to local@474
local = /*@ typeArgs=B* */ f();
^
pkg/front_end/testcases/inference_new/infer_assign_to_local.dart:25:34: Context: Write to local@474
local /*@ target=Object::== */ ??= /*@ typeArgs=B* */ f();
^^^
pkg/front_end/testcases/inference_new/infer_assign_to_local.dart:27:28: Context: Write to local@474
local /*@ target=B::+ */ += /*@ typeArgs=C* */ f();
^^
pkg/front_end/testcases/inference_new/infer_assign_to_local.dart:29:28: Context: Write to local@474
local /*@ target=B::* */ *= /*@ typeArgs=B* */ f();
^^
pkg/front_end/testcases/inference_new/infer_assign_to_local.dart:31:28: Context: Write to local@474
local /*@ target=B::& */ &= /*@ typeArgs=A* */ f();
^^
pkg/front_end/testcases/inference_new/infer_assign_to_local.dart:33:22: Context: Write to local@474
/*@ target=B::- */ --local;
^^
pkg/front_end/testcases/inference_new/infer_assign_to_local.dart:35:28: Context: Write to local@474
local /*@ target=B::- */ --;
^^
pkg/front_end/testcases/inference_new/infer_assign_to_local.dart:37:33: Context: Write to local@474
var /*@ type=B* */ v1 = local = /*@ typeArgs=B* */ f();
^
pkg/front_end/testcases/inference_new/infer_assign_to_local.dart:40:38: Context: Write to local@474
local /*@ target=Object::== */ ??= /*@ typeArgs=B* */ f();
^^^
pkg/front_end/testcases/inference_new/infer_assign_to_local.dart:43:26: Context: Write to local@474
/*@ target=B::+ */ += /*@ typeArgs=C* */ f();
^^
pkg/front_end/testcases/inference_new/infer_assign_to_local.dart:46:26: Context: Write to local@474
/*@ target=B::* */ *= /*@ typeArgs=B* */ f();
^^
pkg/front_end/testcases/inference_new/infer_assign_to_local.dart:49:26: Context: Write to local@474
/*@ target=B::& */ &= /*@ typeArgs=A* */ f();
^^
pkg/front_end/testcases/inference_new/infer_assign_to_local.dart:51:46: Context: Write to local@474
var /*@ type=B* */ v6 = /*@ target=B::- */ --local;
^^
pkg/front_end/testcases/inference_new/infer_assign_to_local.dart:54:41: Context: Write to local@474
/*@ type=B* */ /*@ target=B::- */ --;
^^

84
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart.type_promotion.expect
View file

@ -1,84 +0,0 @@
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart:13:31: Context: Write to t@343
var /*@ type=int* */ v1 = t = getInt();
^
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart:15:31: Context: Write to t@343
var /*@ type=num* */ v2 = t = getNum();
^
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart:17:53: Context: Write to t@343
var /*@ type=int* */ v4 = t /*@ target=num::== */ ??= getInt();
^^^
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart:19:53: Context: Write to t@343
var /*@ type=num* */ v5 = t /*@ target=num::== */ ??= getNum();
^^^
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart:21:52: Context: Write to t@343
var /*@ type=int* */ v7 = t /*@ target=num::+ */ += getInt();
^^
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart:23:52: Context: Write to t@343
var /*@ type=num* */ v8 = t /*@ target=num::+ */ += getNum();
^^
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart:25:51: Context: Write to t@343
var /*@ type=int* */ v10 = /*@ target=num::+ */ ++t;
^^
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart:28:64: Context: Write to t@343
/*@ type=int* */ t /*@ type=int* */ /*@ target=num::+ */ ++;
^^
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart:32:31: Context: Write to t@343
var /*@ type=int* */ v1 = t = getInt();
^
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart:34:31: Context: Write to t@343
var /*@ type=num* */ v2 = t = getNum();
^
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart:36:34: Context: Write to t@343
var /*@ type=double* */ v3 = t = getDouble();
^
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart:38:53: Context: Write to t@343
var /*@ type=num* */ v4 = t /*@ target=num::== */ ??= getInt();
^^^
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart:40:53: Context: Write to t@343
var /*@ type=num* */ v5 = t /*@ target=num::== */ ??= getNum();
^^^
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart:42:53: Context: Write to t@343
var /*@ type=num* */ v6 = t /*@ target=num::== */ ??= getDouble();
^^^
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart:44:52: Context: Write to t@343
var /*@ type=num* */ v7 = t /*@ target=num::+ */ += getInt();
^^
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart:46:52: Context: Write to t@343
var /*@ type=num* */ v8 = t /*@ target=num::+ */ += getNum();
^^
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart:48:52: Context: Write to t@343
var /*@ type=num* */ v9 = t /*@ target=num::+ */ += getDouble();
^^
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart:50:51: Context: Write to t@343
var /*@ type=num* */ v10 = /*@ target=num::+ */ ++t;
^^
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart:53:64: Context: Write to t@343
/*@ type=num* */ t /*@ type=num* */ /*@ target=num::+ */ ++;
^^
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart:57:31: Context: Write to t@343
var /*@ type=num* */ v2 = t = getNum();
^
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart:59:34: Context: Write to t@343
var /*@ type=double* */ v3 = t = getDouble();
^
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart:61:53: Context: Write to t@343
var /*@ type=num* */ v5 = t /*@ target=num::== */ ??= getNum();
^^^
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart:63:56: Context: Write to t@343
var /*@ type=double* */ v6 = t /*@ target=num::== */ ??= getDouble();
^^^
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart:65:58: Context: Write to t@343
var /*@ type=double* */ v7 = t /*@ target=double::+ */ += getInt();
^^
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart:67:58: Context: Write to t@343
var /*@ type=double* */ v8 = t /*@ target=double::+ */ += getNum();
^^
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart:69:58: Context: Write to t@343
var /*@ type=double* */ v9 = t /*@ target=double::+ */ += getDouble();
^^
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart:71:57: Context: Write to t@343
var /*@ type=double* */ v10 = /*@ target=double::+ */ ++t;
^^
pkg/front_end/testcases/inference_new/infer_assign_to_local_upwards.dart:74:73: Context: Write to t@343
/*@ type=double* */ t /*@ type=double* */ /*@ target=double::+ */ ++;
^^

12
pkg/front_end/testcases/nnbd/intersection_types.dart.type_promotion.expect
View file

@ -1,12 +0,0 @@
pkg/front_end/testcases/nnbd/intersection_types.dart:13:11: Context: Possible promotion of t@403
if (t is B?) {
^^
pkg/front_end/testcases/nnbd/intersection_types.dart:15:13: Context: Possible promotion of t@403
if (t is C?) {
^^
pkg/front_end/testcases/nnbd/intersection_types.dart:22:11: Context: Possible promotion of t@403
if (t is B) {
^^
pkg/front_end/testcases/nnbd/intersection_types.dart:24:13: Context: Possible promotion of t@403
if (t is C) {
^^

6
pkg/front_end/testcases/nnbd/late.dart.type_promotion.expect
View file

@ -1,6 +0,0 @@
pkg/front_end/testcases/nnbd/late.dart:29:23: Context: Write to lateFinalVariable@862
lateFinalVariable = 0;
^
pkg/front_end/testcases/nnbd/late.dart:40:31: Context: Write to lateFinalVariableWithInit@1146
lateFinalVariableWithInit = 0;
^

93
pkg/front_end/testcases/nnbd/null_shorting.dart.type_promotion.expect
View file

@ -1,93 +0,0 @@
pkg/front_end/testcases/nnbd/null_shorting.dart:29:5: Context: Write to c@591
c = c?.field = new Class();
^
pkg/front_end/testcases/nnbd/null_shorting.dart:37:5: Context: Write to c@591
c = c?.field.field = new Class();
^
pkg/front_end/testcases/nnbd/null_shorting.dart:40:5: Context: Write to c@591
c = c?.field = new Class().field;
^
pkg/front_end/testcases/nnbd/null_shorting.dart:42:5: Context: Write to c@591
c = c?.field = new Class().field = new Class();
^
pkg/front_end/testcases/nnbd/null_shorting.dart:44:5: Context: Write to c@591
c = c?.field = new Class().method();
^
pkg/front_end/testcases/nnbd/null_shorting.dart:51:5: Context: Write to c@591
c = c?.field.field.field = new Class();
^
pkg/front_end/testcases/nnbd/null_shorting.dart:54:5: Context: Write to c@591
c = c?.field = new Class().field.field;
^
pkg/front_end/testcases/nnbd/null_shorting.dart:56:5: Context: Write to c@591
c = c?.field = new Class().field.field = new Class();
^
pkg/front_end/testcases/nnbd/null_shorting.dart:58:5: Context: Write to c@591
c = c?.field = new Class().field.method();
^
pkg/front_end/testcases/nnbd/null_shorting.dart:64:5: Context: Write to c@591
c = c?.field.field = new Class().field;
^
pkg/front_end/testcases/nnbd/null_shorting.dart:66:5: Context: Write to c@591
c = c?.field.field = new Class().field = new Class();
^
pkg/front_end/testcases/nnbd/null_shorting.dart:68:5: Context: Write to c@591
c = c?.field.field = new Class().method();
^
pkg/front_end/testcases/nnbd/null_shorting.dart:70:5: Context: Write to c@591
c = c?.field = new Class().field = new Class().field;
^
pkg/front_end/testcases/nnbd/null_shorting.dart:72:5: Context: Write to c@591
c = c?.field = new Class().field = new Class().field = new Class();
^
pkg/front_end/testcases/nnbd/null_shorting.dart:74:5: Context: Write to c@591
c = c?.field = new Class().field = new Class().method();
^
pkg/front_end/testcases/nnbd/null_shorting.dart:76:5: Context: Write to c@591
c = c?.method().field = new Class().field;
^
pkg/front_end/testcases/nnbd/null_shorting.dart:78:5: Context: Write to c@591
c = c?.method().field = new Class().field = new Class();
^
pkg/front_end/testcases/nnbd/null_shorting.dart:80:5: Context: Write to c@591
c = c?.method().field = new Class().method();
^
pkg/front_end/testcases/nnbd/null_shorting.dart:84:5: Context: Write to c@591
c = c?.field.method().field = new Class();
^
pkg/front_end/testcases/nnbd/null_shorting.dart:87:5: Context: Write to c@591
c = c?.field = new Class().method().field;
^
pkg/front_end/testcases/nnbd/null_shorting.dart:89:5: Context: Write to c@591
c = c?.field = new Class().method().field = new Class();
^
pkg/front_end/testcases/nnbd/null_shorting.dart:91:5: Context: Write to c@591
c = c?.field = new Class().method().method();
^
pkg/front_end/testcases/nnbd/null_shorting.dart:104:5: Context: Write to c@591
c = c?.field[c] = new Class();
^
pkg/front_end/testcases/nnbd/null_shorting.dart:107:5: Context: Write to c@591
c = c?.field[c] += 0;
^
pkg/front_end/testcases/nnbd/null_shorting.dart:111:5: Context: Write to c@591
c = c?.field[c]++;
^
pkg/front_end/testcases/nnbd/null_shorting.dart:113:5: Context: Write to c@591
c = ++c?.field[c];
^
pkg/front_end/testcases/nnbd/null_shorting.dart:120:5: Context: Write to c@591
c = c?.field += 0;
^
pkg/front_end/testcases/nnbd/null_shorting.dart:122:5: Context: Write to c@591
c = c?.field.field += 0;
^
pkg/front_end/testcases/nnbd/null_shorting.dart:126:5: Context: Write to c@591
c = c?.field++;
^
pkg/front_end/testcases/nnbd/null_shorting.dart:128:5: Context: Write to c@591
c = ++c?.field;
^
pkg/front_end/testcases/nnbd/null_shorting.dart:133:5: Context: Write to c@591
c = c?.field ??= c;
^

93
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart.type_promotion.expect
View file

@ -1,93 +0,0 @@
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:37:5: Context: Write to c@714
c = Extension(c)?.field = new Class();
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:45:5: Context: Write to c@714
c = Extension(c)?.field.field = new Class();
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:48:5: Context: Write to c@714
c = Extension(c)?.field = new Class().field;
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:50:5: Context: Write to c@714
c = Extension(c)?.field = new Class().field = new Class();
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:52:5: Context: Write to c@714
c = Extension(c)?.field = new Class().method();
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:59:5: Context: Write to c@714
c = Extension(c)?.field.field.field = new Class();
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:62:5: Context: Write to c@714
c = Extension(c)?.field = new Class().field.field;
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:64:5: Context: Write to c@714
c = Extension(c)?.field = new Class().field.field = new Class();
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:66:5: Context: Write to c@714
c = Extension(c)?.field = new Class().field.method();
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:72:5: Context: Write to c@714
c = Extension(c)?.field.field = new Class().field;
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:74:5: Context: Write to c@714
c = Extension(c)?.field.field = new Class().field = new Class();
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:76:5: Context: Write to c@714
c = Extension(c)?.field.field = new Class().method();
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:78:5: Context: Write to c@714
c = Extension(c)?.field = new Class().field = new Class().field;
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:80:5: Context: Write to c@714
c = Extension(c)?.field = new Class().field = new Class().field = new Class();
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:82:5: Context: Write to c@714
c = Extension(c)?.field = new Class().field = new Class().method();
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:84:5: Context: Write to c@714
c = Extension(c)?.method().field = new Class().field;
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:86:5: Context: Write to c@714
c = Extension(c)?.method().field = new Class().field = new Class();
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:88:5: Context: Write to c@714
c = Extension(c)?.method().field = new Class().method();
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:92:5: Context: Write to c@714
c = Extension(c)?.field.method().field = new Class();
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:95:5: Context: Write to c@714
c = Extension(c)?.field = new Class().method().field;
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:97:5: Context: Write to c@714
c = Extension(c)?.field = new Class().method().field = new Class();
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:99:5: Context: Write to c@714
c = Extension(c)?.field = new Class().method().method();
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:112:5: Context: Write to c@714
c = Extension(c)?.field[c] = new Class();
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:115:5: Context: Write to c@714
c = Extension(c)?.field[c] += 0;
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:119:5: Context: Write to c@714
c = Extension(c)?.field[c]++;
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:121:5: Context: Write to c@714
c = ++Extension(c)?.field[c];
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:128:5: Context: Write to c@714
c = Extension(c)?.field += 0;
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:130:5: Context: Write to c@714
c = Extension(c)?.field.field += 0;
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:134:5: Context: Write to c@714
c = Extension(c)?.field++;
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:136:5: Context: Write to c@714
c = ++Extension(c)?.field;
^
pkg/front_end/testcases/nnbd/null_shorting_explicit_extension.dart:141:5: Context: Write to c@714
c = Extension(c)?.field ??= c;
^

Some files were not shown because too many files have changed in this diff Show more