[CFE] More dart scope calculator stuff

General approach: Find all scopes for an offset,
then pick "the right one".

This still leaves a few offsets where we can't pick 1 scope in the
(non-outline) dills in the out directory though.

More thorough testing will follow.

TEST=ci

Change-Id: I66448498e07aa03f720733bcaf167bbfa30bca2f
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/338840
Commit-Queue: Jens Johansen <jensj@google.com>
Reviewed-by: Johnni Winther <johnniwinther@google.com>
Reviewed-by: Daco Harkes <dacoharkes@google.com>

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

@@ -1312,7 +1312,7 @@ class ConstantsTransformer extends RemovingTransformer {
               .createExpression(typeEnvironment, inCacheInitializer: false);
           if (guard != null) {
             headCondition = createAndExpression(headCondition, guard,
-                fileOffset: guard.fileOffset);
+                fileOffset: TreeNode.noOffset);
           }
 
           for (VariableDeclaration declaredVariable
@@ -1657,7 +1657,7 @@ class ConstantsTransformer extends RemovingTransformer {
     Expression? guard = node.patternGuard.guard;
     if (guard != null) {
       condition =
-          createAndExpression(condition, guard, fileOffset: guard.fileOffset);
+          createAndExpression(condition, guard, fileOffset: TreeNode.noOffset);
     }
     List<Statement> replacementStatements = [
       ...node.patternGuard.pattern.declaredVariables,
@@ -2044,7 +2044,7 @@ class ConstantsTransformer extends RemovingTransformer {
             .createExpression(typeEnvironment, inCacheInitializer: false);
         if (guard != null) {
           caseCondition = createAndExpression(caseCondition, guard,
-              fileOffset: guard.fileOffset);
+              fileOffset: TreeNode.noOffset);
         }
 
         cases.add(createBlock([

pkg/front_end/lib/src/fasta/source/source_field_builder.dart

@@ -1768,7 +1768,7 @@ class AbstractOrExternalFieldEncoding implements FieldEncoding {
           .attachMember(_getter);
       if (!isFinal) {
         VariableDeclaration parameter =
-            new VariableDeclaration("#externalFieldValue")
+            new VariableDeclaration("#externalFieldValue", isSynthesized: true)
               ..isCovariantByDeclaration = isCovariantByDeclaration
               ..fileOffset = charOffset;
         _setter = new Procedure(
@@ -1808,7 +1808,7 @@ class AbstractOrExternalFieldEncoding implements FieldEncoding {
           .attachMember(_getter);
       if (!isFinal) {
         VariableDeclaration parameter =
-            new VariableDeclaration("#externalFieldValue")
+            new VariableDeclaration("#externalFieldValue", isSynthesized: true)
               ..isCovariantByDeclaration = isCovariantByDeclaration
               ..fileOffset = charOffset;
         _setter = new Procedure(

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

@@ -499,7 +499,7 @@ class DelayedAssignment extends DelayedExpression {
                   effects: effects, inCacheInitializer: inCacheInitializer),
               allowFinalAssignment: true,
               fileOffset: fileOffset),
-          result: createBoolLiteral(true, fileOffset: fileOffset));
+          result: createBoolLiteral(true, fileOffset: TreeNode.noOffset));
     }
   }
 

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

@@ -2,6 +2,9 @@
 // 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.
 
+// TODO(jensj): Probably all `_createVariableGet(result)` needs their offset
+// "nulled out".
+
 import 'package:_fe_analyzer_shared/src/flow_analysis/flow_analysis.dart';
 import 'package:_fe_analyzer_shared/src/type_inference/type_analysis_result.dart';
 import 'package:_fe_analyzer_shared/src/type_inference/type_analyzer.dart'
@@ -2836,7 +2839,11 @@ class InferenceVisitorImpl extends InferenceVisitorBase
       VariableDeclaration result, List<Statement> body,
       {required bool isSet}) {
     body.add(_createExpressionStatement(_createAdd(
-        _createVariableGet(result), receiverType, element,
+        // Don't make a mess of jumping around (and make scope building
+        // impossible).
+        _createVariableGet(result)..fileOffset = TreeNode.noOffset,
+        receiverType,
+        element,
         isSet: isSet)));
   }
 
@@ -2997,7 +3004,12 @@ class InferenceVisitorImpl extends InferenceVisitorBase
       }
 
       Statement statement = _createExpressionStatement(_createAddAll(
-          _createVariableGet(result), receiverType, value, isSet));
+          // Don't make a mess of jumping around (and make scope building
+          // impossible).
+          _createVariableGet(result)..fileOffset = TreeNode.noOffset,
+          receiverType,
+          value,
+          isSet));
 
       if (element.isNullAware) {
         statement = _createIf(
@@ -3026,8 +3038,12 @@ class InferenceVisitorImpl extends InferenceVisitorBase
           elementType);
       Statement loopBody = _createBlock(<Statement>[
         castedVar,
-        _createExpressionStatement(_createAdd(_createVariableGet(result),
-            receiverType, _createVariableGet(castedVar),
+        _createExpressionStatement(_createAdd(
+            // Don't make a mess of jumping around (and make scope building
+            // impossible).
+            _createVariableGet(result)..fileOffset = TreeNode.noOffset,
+            receiverType,
+            _createVariableGet(castedVar),
             isSet: isSet))
       ]);
       Statement statement =
@@ -3170,8 +3186,12 @@ class InferenceVisitorImpl extends InferenceVisitorBase
 
   void _addNormalEntry(MapLiteralEntry entry, InterfaceType receiverType,
       VariableDeclaration result, List<Statement> body) {
-    body.add(_createExpressionStatement(_createIndexSet(entry.fileOffset,
-        _createVariableGet(result), receiverType, entry.key, entry.value)));
+    body.add(_createExpressionStatement(_createIndexSet(
+        entry.fileOffset,
+        _createVariableGet(result)..fileOffset = TreeNode.noOffset,
+        receiverType,
+        entry.key,
+        entry.value)));
   }
 
   void _translateIfEntry(
@@ -3333,8 +3353,12 @@ class InferenceVisitorImpl extends InferenceVisitorBase
         value = _createNullCheckedVariableGet(temp);
       }
 
-      Statement statement = _createExpressionStatement(
-          _createMapAddAll(_createVariableGet(result), receiverType, value));
+      Statement statement = _createExpressionStatement(_createMapAddAll(
+          // Don't make a mess of jumping around (and make scope building
+          // impossible).
+          _createVariableGet(result)..fileOffset = TreeNode.noOffset,
+          receiverType,
+          value));
 
       if (entry.isNullAware) {
         statement = _createIf(
@@ -9569,7 +9593,7 @@ class InferenceVisitorImpl extends InferenceVisitorBase
         caseIndex < node.cases.length - 1) {
       LabeledStatement switchLabel = node.parent as LabeledStatement;
       BreakStatement syntheticBreak = new BreakStatement(switchLabel)
-        ..fileOffset = node.fileOffset;
+        ..fileOffset = TreeNode.noOffset;
       if (body is Block) {
         body.statements.add(syntheticBreak);
         syntheticBreak.parent = body;

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

@@ -1236,10 +1236,14 @@ class Cache {
           }
         }
         if (_matchingCache.useLowering && _isLate) {
-          result = createLocalFunctionInvocation(_getVariable!,
-              fileOffset: _fileOffset);
+          LocalFunctionInvocation localFunctionInvocation =
+              createLocalFunctionInvocation(_getVariable!,
+                  fileOffset: _fileOffset)
+                ..fileOffset = TreeNode.noOffset;
+          localFunctionInvocation.arguments.fileOffset = TreeNode.noOffset;
+          result = localFunctionInvocation;
         } else {
-          result = createVariableGet(variable);
+          result = createVariableGet(variable)..fileOffset = TreeNode.noOffset;
         }
       } else {
         assert(_isLate, "Unexpected non-late cache ${cacheKey.name}");

pkg/front_end/lib/src/testing/id_extractor.dart

@@ -239,7 +239,8 @@ abstract class DataExtractor<T> extends VisitorDefault<void>
 
   @override
   void visitLocalFunctionInvocation(LocalFunctionInvocation node) {
-    computeForNode(node, createInvokeId(node));
+    computeForNode(node,
+        node.fileOffset == TreeNode.noOffset ? null : createInvokeId(node));
     super.visitLocalFunctionInvocation(node);
   }
 
@@ -426,7 +427,8 @@ abstract class DataExtractor<T> extends VisitorDefault<void>
 
   @override
   void visitBreakStatement(BreakStatement node) {
-    computeForNode(node, createGotoId(node));
+    computeForNode(
+        node, node.fileOffset == TreeNode.noOffset ? null : createGotoId(node));
     super.visitBreakStatement(node);
   }
 
@@ -471,7 +473,10 @@ abstract class DataExtractor<T> extends VisitorDefault<void>
 
   @override
   void visitBoolLiteral(BoolLiteral node) {
-    computeForNode(node, computeDefaultNodeId(node));
+    // Some synthetic bool literals, for instance inside some lets,
+    // have no offset.
+    computeForNode(
+        node, computeDefaultNodeId(node, skipNodeWithNoOffset: true));
     super.visitBoolLiteral(node);
   }
 
@@ -593,7 +598,8 @@ abstract class DataExtractor<T> extends VisitorDefault<void>
     if (node.isTypeError) {
       computeForNode(node, createImplicitAsId(node));
     } else {
-      computeForNode(node, computeDefaultNodeId(node));
+      computeForNode(
+          node, computeDefaultNodeId(node, skipNodeWithNoOffset: true));
     }
     return super.visitAsExpression(node);
   }
@@ -627,7 +633,8 @@ abstract class DataExtractor<T> extends VisitorDefault<void>
 
   @override
   void visitLogicalExpression(LogicalExpression node) {
-    computeForNode(node, computeDefaultNodeId(node));
+    computeForNode(
+        node, computeDefaultNodeId(node, skipNodeWithNoOffset: true));
     return super.visitLogicalExpression(node);
   }
 

pkg/front_end/test/macros/application/data/tests/declarations.dart.expect

@@ -49,7 +49,7 @@ abstract class Class2 extends core::Object {
   @#C3
   abstract get instanceField1() → core::int?;
   @#C3
-  abstract set instanceField1(core::int? #externalFieldValue) → void;
+  abstract set instanceField1(synthesized core::int? #externalFieldValue) → void;
 }
 @#C6
 static field core::int? topLevelField1;
@@ -64,7 +64,7 @@ external static method topLevelFunction2() → void;
 @#C6
 external static get topLevelField2() → core::int?;
 @#C6
-external static set topLevelField2(core::int? #externalFieldValue) → void;
+external static set topLevelField2(synthesized core::int? #externalFieldValue) → void;
 @#C7
 static get topLevelGetter1() → core::int?
   return null;

pkg/front_end/test/scopes/scope_test.dart

@@ -65,35 +65,30 @@ class ScopeDataExtractor extends CfeDataExtractor<Features> {
     if (node is StaticGet && node.target.name.text == 'x') {
       Location? location = node.location;
       if (location != null) {
-        List<DartScope> scopes = DartScopeBuilder2.findScopeFromOffsetAndClass(
+        DartScope scope = DartScopeBuilder2.findScopeFromOffsetAndClass(
             library, location.file, cls, node.fileOffset);
-        if (scopes.isNotEmpty) {
-          // TODO(johnniwinther,jensj): Support more than one scope.
-          DartScope scope = scopes.first;
-          Features features = Features();
-          if (scope.cls != null) {
-            features[Tags.cls] = scope.cls!.name;
-          }
-          if (scope.member != null) {
-            features[Tags.member] = scope.member!.name.text;
-          }
-          if (scope.isStatic) {
-            features.add(Tags.isStatic);
-          }
-          for (TypeParameter typeParameter in scope.typeParameters) {
-            AstPrinter printer = new AstPrinter(const AstTextStrategy(
-                useQualifiedTypeParameterNames: true,
-                useQualifiedTypeParameterNamesRecurseOnNamedLocalFunctions:
-                    true,
-                includeLibraryNamesInTypes: false));
-            printer.writeTypeParameterName(typeParameter);
-            features.addElement(Tags.typeParameter, printer.getText());
-          }
-          for (String variable in scope.definitions.keys) {
-            features.addElement(Tags.variables, variable);
-          }
-          return features;
+        Features features = Features();
+        if (scope.cls != null) {
+          features[Tags.cls] = scope.cls!.name;
         }
+        if (scope.member != null) {
+          features[Tags.member] = scope.member!.name.text;
+        }
+        if (scope.isStatic) {
+          features.add(Tags.isStatic);
+        }
+        for (TypeParameter typeParameter in scope.typeParameters) {
+          AstPrinter printer = new AstPrinter(const AstTextStrategy(
+              useQualifiedTypeParameterNames: true,
+              useQualifiedTypeParameterNamesRecurseOnNamedLocalFunctions: true,
+              includeLibraryNamesInTypes: false));
+          printer.writeTypeParameterName(typeParameter);
+          features.addElement(Tags.typeParameter, printer.getText());
+        }
+        for (String variable in scope.definitions.keys) {
+          features.addElement(Tags.variables, variable);
+        }
+        return features;
       }
     }
     return super.computeNodeValue(id, node);

pkg/front_end/test/spell_checking_list_code.txt

@@ -64,12 +64,12 @@ aot
 ap
 api
 apis
-arch
 app
 apparently
 applicable
 approximation
 arbiter
+arch
 architectures
 area
 arg
@@ -150,6 +150,7 @@ bindings
 binds
 bj
 bk
+bla
 blend
 blindly
 blob
@@ -577,6 +578,7 @@ extenders
 extracted
 extracts
 extras
+exuberant
 f
 faced
 factor
@@ -625,6 +627,7 @@ fo
 foo
 foobar
 footer
+forceable
 forcefully
 forcibly
 forcing
@@ -680,6 +683,7 @@ gotos
 gradually
 granted
 graphs
+great
 grouper
 growability
 growth
@@ -733,6 +737,7 @@ hvar
 i
 i'll
 i'm
+i've
 ic
 id
 ide
@@ -779,6 +784,7 @@ inequality
 inequivalence
 inequivalences
 inequivalent
+inevitably
 inferable
 influence
 influences
@@ -858,6 +864,7 @@ job
 johnniwinther
 js
 json
+jumping
 jumps
 juxtaposition
 juxtapositions
@@ -976,6 +983,7 @@ me
 meanings
 meeting
 merely
+mess
 meta
 metadata's
 metadatum
@@ -1014,6 +1022,7 @@ nameless
 namer
 nano
 nanosecond
+native\$
 natively
 nativewrappers
 nbsp
@@ -1053,6 +1062,7 @@ nt
 nth
 nullabilities
 nullary
+nulled
 nullification
 nullify
 nullness
@@ -1236,6 +1246,7 @@ provisional
 prune
 ps
 pt
+ptr
 pulled
 pure
 puts
@@ -1752,6 +1763,7 @@ unawaited
 unbound
 uncached
 uncategorized
+uncertainty
 uncomment
 uncommon
 unconditional

pkg/front_end/testcases/constructor_tearoffs/new_as_selector.dart.strong.expect

@@ -200,7 +200,7 @@ extension E on core::int {
 static field core::int new = 87;
 static field self::C c = new self::C::•();
 external static extension-member method E|get#new(lowered core::int #this) → core::int;
-external static extension-member method E|set#new(lowered core::int #this, core::int #externalFieldValue) → void;
+external static extension-member method E|set#new(lowered core::int #this, synthesized core::int #externalFieldValue) → void;
 static extension-member method E|call<T extends core::Object? = dynamic>(lowered final core::int #this) → dynamic {}
 static extension-member method E|get#call(lowered final core::int #this) → <T extends core::Object? = dynamic>() → dynamic
   return <T extends core::Object? = dynamic>() → dynamic => self::E|call<T%>(#this);

pkg/front_end/testcases/constructor_tearoffs/new_as_selector.dart.strong.transformed.expect

@@ -200,7 +200,7 @@ extension E on core::int {
 static field core::int new = 87;
 static field self::C c = new self::C::•();
 external static extension-member method E|get#new(lowered core::int #this) → core::int;
-external static extension-member method E|set#new(lowered core::int #this, core::int #externalFieldValue) → void;
+external static extension-member method E|set#new(lowered core::int #this, synthesized core::int #externalFieldValue) → void;
 static extension-member method E|call<T extends core::Object? = dynamic>(lowered final core::int #this) → dynamic {}
 static extension-member method E|get#call(lowered final core::int #this) → <T extends core::Object? = dynamic>() → dynamic
   return <T extends core::Object? = dynamic>() → dynamic => self::E|call<T%>(#this);

pkg/front_end/testcases/constructor_tearoffs/new_as_selector.dart.weak.expect

@@ -200,7 +200,7 @@ extension E on core::int {
 static field core::int new = 87;
 static field self::C c = new self::C::•();
 external static extension-member method E|get#new(lowered core::int #this) → core::int;
-external static extension-member method E|set#new(lowered core::int #this, core::int #externalFieldValue) → void;
+external static extension-member method E|set#new(lowered core::int #this, synthesized core::int #externalFieldValue) → void;
 static extension-member method E|call<T extends core::Object? = dynamic>(lowered final core::int #this) → dynamic {}
 static extension-member method E|get#call(lowered final core::int #this) → <T extends core::Object? = dynamic>() → dynamic
   return <T extends core::Object? = dynamic>() → dynamic => self::E|call<T%>(#this);

pkg/front_end/testcases/constructor_tearoffs/new_as_selector.dart.weak.modular.expect

@@ -200,7 +200,7 @@ extension E on core::int {
 static field core::int new = 87;
 static field self::C c = new self::C::•();
 external static extension-member method E|get#new(lowered core::int #this) → core::int;
-external static extension-member method E|set#new(lowered core::int #this, core::int #externalFieldValue) → void;
+external static extension-member method E|set#new(lowered core::int #this, synthesized core::int #externalFieldValue) → void;
 static extension-member method E|call<T extends core::Object? = dynamic>(lowered final core::int #this) → dynamic {}
 static extension-member method E|get#call(lowered final core::int #this) → <T extends core::Object? = dynamic>() → dynamic
   return <T extends core::Object? = dynamic>() → dynamic => self::E|call<T%>(#this);

pkg/front_end/testcases/constructor_tearoffs/new_as_selector.dart.weak.outline.expect

@@ -45,7 +45,7 @@ extension E on core::int {
 static field core::int new;
 static field self::C c;
 external static extension-member method E|get#new(lowered core::int #this) → core::int;
-external static extension-member method E|set#new(lowered core::int #this, core::int #externalFieldValue) → void;
+external static extension-member method E|set#new(lowered core::int #this, synthesized core::int #externalFieldValue) → void;
 static extension-member method E|call<T extends core::Object? = dynamic>(lowered final core::int #this) → dynamic
   ;
 static extension-member method E|get#call(lowered final core::int #this) → <T extends core::Object? = dynamic>() → dynamic

pkg/front_end/testcases/constructor_tearoffs/new_as_selector.dart.weak.transformed.expect

@@ -200,7 +200,7 @@ extension E on core::int {
 static field core::int new = 87;
 static field self::C c = new self::C::•();
 external static extension-member method E|get#new(lowered core::int #this) → core::int;
-external static extension-member method E|set#new(lowered core::int #this, core::int #externalFieldValue) → void;
+external static extension-member method E|set#new(lowered core::int #this, synthesized core::int #externalFieldValue) → void;
 static extension-member method E|call<T extends core::Object? = dynamic>(lowered final core::int #this) → dynamic {}
 static extension-member method E|get#call(lowered final core::int #this) → <T extends core::Object? = dynamic>() → dynamic
   return <T extends core::Object? = dynamic>() → dynamic => self::E|call<T%>(#this);

pkg/front_end/testcases/dart2js/extension_types/external.dart.strong.expect

@@ -57,7 +57,7 @@ external static extension-type-member method B|constructor#named(core::int i)
 static extension-type-member method B|constructor#_#named#tearOff(core::int i) → self::B /* = self::A */
   return self::B|constructor#named(i);
 external static extension-type-member method B|get#field(lowered self::A #this) → self::A;
-external static extension-type-member method B|set#field(lowered self::A #this, self::A #externalFieldValue) → void;
+external static extension-type-member method B|set#field(lowered self::A #this, synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|method(lowered final self::B /* = self::A */ #this) → self::A;
 static extension-type-member method B|get#method(lowered final self::B /* = self::A */ #this) → () → self::A
   return () → self::A => self::B|method(#this);
@@ -69,7 +69,7 @@ external static extension-type-member method B|set#setter(lowered final self::B
 external static extension-type-member method B|get#property(lowered final self::B /* = self::A */ #this) → self::B /* = self::A */;
 external static extension-type-member method B|set#property(lowered final self::B /* = self::A */ #this, self::B /* = self::A */ b) → void;
 external static extension-type-member get B|staticField() → self::A;
-external static extension-type-member set B|staticField(self::A #externalFieldValue) → void;
+external static extension-type-member set B|staticField(synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|staticMethod() → self::A;
 external static extension-type-member method B|staticGenericMethod<T extends self::B /* = self::A */>(self::B|staticGenericMethod::T% t) → self::B|staticGenericMethod::T%;
 external static extension-type-member get B|staticGetter() → self::B /* = self::A */;

pkg/front_end/testcases/dart2js/extension_types/external.dart.strong.transformed.expect

@@ -59,7 +59,7 @@ external static extension-type-member method B|constructor#named(core::int i)
 static extension-type-member method B|constructor#_#named#tearOff(core::int i) → self::B /* = self::A */
   return js_2::_callConstructorUnchecked1<self::B /* = self::A */>(js_2::_getPropertyTrustType<core::Object>(_js2::staticInteropGlobalContext, "B"), i);
 external static extension-type-member method B|get#field(lowered self::A #this) → self::A;
-external static extension-type-member method B|set#field(lowered self::A #this, self::A #externalFieldValue) → void;
+external static extension-type-member method B|set#field(lowered self::A #this, synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|method(lowered final self::B /* = self::A */ #this) → self::A;
 static extension-type-member method B|get#method(lowered final self::B /* = self::A */ #this) → () → self::A
   return () → self::A => js_2::_callMethodUnchecked0<self::A>(#this, "method");
@@ -71,7 +71,7 @@ external static extension-type-member method B|set#setter(lowered final self::B
 external static extension-type-member method B|get#property(lowered final self::B /* = self::A */ #this) → self::B /* = self::A */;
 external static extension-type-member method B|set#property(lowered final self::B /* = self::A */ #this, self::B /* = self::A */ b) → void;
 external static extension-type-member get B|staticField() → self::A;
-external static extension-type-member set B|staticField(self::A #externalFieldValue) → void;
+external static extension-type-member set B|staticField(synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|staticMethod() → self::A;
 external static extension-type-member method B|staticGenericMethod<T extends self::B /* = self::A */>(self::B|staticGenericMethod::T% t) → self::B|staticGenericMethod::T%;
 external static extension-type-member get B|staticGetter() → self::B /* = self::A */;

pkg/front_end/testcases/dart2js/extension_types/external.dart.weak.expect

@@ -57,7 +57,7 @@ external static extension-type-member method B|constructor#named(core::int i)
 static extension-type-member method B|constructor#_#named#tearOff(core::int i) → self::B /* = self::A */
   return self::B|constructor#named(i);
 external static extension-type-member method B|get#field(lowered self::A #this) → self::A;
-external static extension-type-member method B|set#field(lowered self::A #this, self::A #externalFieldValue) → void;
+external static extension-type-member method B|set#field(lowered self::A #this, synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|method(lowered final self::B /* = self::A */ #this) → self::A;
 static extension-type-member method B|get#method(lowered final self::B /* = self::A */ #this) → () → self::A
   return () → self::A => self::B|method(#this);
@@ -69,7 +69,7 @@ external static extension-type-member method B|set#setter(lowered final self::B
 external static extension-type-member method B|get#property(lowered final self::B /* = self::A */ #this) → self::B /* = self::A */;
 external static extension-type-member method B|set#property(lowered final self::B /* = self::A */ #this, self::B /* = self::A */ b) → void;
 external static extension-type-member get B|staticField() → self::A;
-external static extension-type-member set B|staticField(self::A #externalFieldValue) → void;
+external static extension-type-member set B|staticField(synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|staticMethod() → self::A;
 external static extension-type-member method B|staticGenericMethod<T extends self::B /* = self::A */>(self::B|staticGenericMethod::T% t) → self::B|staticGenericMethod::T%;
 external static extension-type-member get B|staticGetter() → self::B /* = self::A */;

pkg/front_end/testcases/dart2js/extension_types/external.dart.weak.modular.expect

@@ -57,7 +57,7 @@ external static extension-type-member method B|constructor#named(core::int i)
 static extension-type-member method B|constructor#_#named#tearOff(core::int i) → self::B /* = self::A */
   return self::B|constructor#named(i);
 external static extension-type-member method B|get#field(lowered self::A #this) → self::A;
-external static extension-type-member method B|set#field(lowered self::A #this, self::A #externalFieldValue) → void;
+external static extension-type-member method B|set#field(lowered self::A #this, synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|method(lowered final self::B /* = self::A */ #this) → self::A;
 static extension-type-member method B|get#method(lowered final self::B /* = self::A */ #this) → () → self::A
   return () → self::A => self::B|method(#this);
@@ -69,7 +69,7 @@ external static extension-type-member method B|set#setter(lowered final self::B
 external static extension-type-member method B|get#property(lowered final self::B /* = self::A */ #this) → self::B /* = self::A */;
 external static extension-type-member method B|set#property(lowered final self::B /* = self::A */ #this, self::B /* = self::A */ b) → void;
 external static extension-type-member get B|staticField() → self::A;
-external static extension-type-member set B|staticField(self::A #externalFieldValue) → void;
+external static extension-type-member set B|staticField(synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|staticMethod() → self::A;
 external static extension-type-member method B|staticGenericMethod<T extends self::B /* = self::A */>(self::B|staticGenericMethod::T% t) → self::B|staticGenericMethod::T%;
 external static extension-type-member get B|staticGetter() → self::B /* = self::A */;

pkg/front_end/testcases/dart2js/extension_types/external.dart.weak.outline.expect

@@ -54,7 +54,7 @@ external static extension-type-member method B|constructor#named(core::int i)
 static extension-type-member method B|constructor#_#named#tearOff(core::int i) → self::B /* = self::A */
   return self::B|constructor#named(i);
 external static extension-type-member method B|get#field(lowered self::A #this) → self::A;
-external static extension-type-member method B|set#field(lowered self::A #this, self::A #externalFieldValue) → void;
+external static extension-type-member method B|set#field(lowered self::A #this, synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|method(lowered final self::B /* = self::A */ #this) → self::A;
 static extension-type-member method B|get#method(lowered final self::B /* = self::A */ #this) → () → self::A
   return () → self::A => self::B|method(#this);
@@ -66,7 +66,7 @@ external static extension-type-member method B|set#setter(lowered final self::B
 external static extension-type-member method B|get#property(lowered final self::B /* = self::A */ #this) → self::B /* = self::A */;
 external static extension-type-member method B|set#property(lowered final self::B /* = self::A */ #this, self::B /* = self::A */ b) → void;
 external static extension-type-member get B|staticField() → self::A;
-external static extension-type-member set B|staticField(self::A #externalFieldValue) → void;
+external static extension-type-member set B|staticField(synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|staticMethod() → self::A;
 external static extension-type-member method B|staticGenericMethod<T extends self::B /* = self::A */>(self::B|staticGenericMethod::T% t) → self::B|staticGenericMethod::T%;
 external static extension-type-member get B|staticGetter() → self::B /* = self::A */;

pkg/front_end/testcases/dart2js/extension_types/external.dart.weak.transformed.expect

@@ -59,7 +59,7 @@ external static extension-type-member method B|constructor#named(core::int i)
 static extension-type-member method B|constructor#_#named#tearOff(core::int i) → self::B /* = self::A */
   return js_2::_callConstructorUnchecked1<self::B /* = self::A */>(js_2::_getPropertyTrustType<core::Object>(_js2::staticInteropGlobalContext, "B"), i);
 external static extension-type-member method B|get#field(lowered self::A #this) → self::A;
-external static extension-type-member method B|set#field(lowered self::A #this, self::A #externalFieldValue) → void;
+external static extension-type-member method B|set#field(lowered self::A #this, synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|method(lowered final self::B /* = self::A */ #this) → self::A;
 static extension-type-member method B|get#method(lowered final self::B /* = self::A */ #this) → () → self::A
   return () → self::A => js_2::_callMethodUnchecked0<self::A>(#this, "method");
@@ -71,7 +71,7 @@ external static extension-type-member method B|set#setter(lowered final self::B
 external static extension-type-member method B|get#property(lowered final self::B /* = self::A */ #this) → self::B /* = self::A */;
 external static extension-type-member method B|set#property(lowered final self::B /* = self::A */ #this, self::B /* = self::A */ b) → void;
 external static extension-type-member get B|staticField() → self::A;
-external static extension-type-member set B|staticField(self::A #externalFieldValue) → void;
+external static extension-type-member set B|staticField(synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|staticMethod() → self::A;
 external static extension-type-member method B|staticGenericMethod<T extends self::B /* = self::A */>(self::B|staticGenericMethod::T% t) → self::B|staticGenericMethod::T%;
 external static extension-type-member get B|staticGetter() → self::B /* = self::A */;

pkg/front_end/testcases/dartdevc/extension_types/external.dart.strong.expect

@@ -57,7 +57,7 @@ external static extension-type-member method B|constructor#named(core::int i)
 static extension-type-member method B|constructor#_#named#tearOff(core::int i) → self::B /* = self::A */
   return self::B|constructor#named(i);
 external static extension-type-member method B|get#field(lowered self::A #this) → self::A;
-external static extension-type-member method B|set#field(lowered self::A #this, self::A #externalFieldValue) → void;
+external static extension-type-member method B|set#field(lowered self::A #this, synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|method(lowered final self::B /* = self::A */ #this) → self::A;
 static extension-type-member method B|get#method(lowered final self::B /* = self::A */ #this) → () → self::A
   return () → self::A => self::B|method(#this);
@@ -69,7 +69,7 @@ external static extension-type-member method B|set#setter(lowered final self::B
 external static extension-type-member method B|get#property(lowered final self::B /* = self::A */ #this) → self::B /* = self::A */;
 external static extension-type-member method B|set#property(lowered final self::B /* = self::A */ #this, self::B /* = self::A */ b) → void;
 external static extension-type-member get B|staticField() → self::A;
-external static extension-type-member set B|staticField(self::A #externalFieldValue) → void;
+external static extension-type-member set B|staticField(synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|staticMethod() → self::A;
 external static extension-type-member method B|staticGenericMethod<T extends self::B /* = self::A */>(self::B|staticGenericMethod::T% t) → self::B|staticGenericMethod::T%;
 external static extension-type-member get B|staticGetter() → self::B /* = self::A */;

pkg/front_end/testcases/dartdevc/extension_types/external.dart.strong.transformed.expect

@@ -59,7 +59,7 @@ external static extension-type-member method B|constructor#named(core::int i)
 static extension-type-member method B|constructor#_#named#tearOff(core::int i) → self::B /* = self::A */
   return js_2::_callConstructorUnchecked1<self::B /* = self::A */>(js_2::_getPropertyTrustType<core::Object>(_js2::staticInteropGlobalContext, "B"), i);
 external static extension-type-member method B|get#field(lowered self::A #this) → self::A;
-external static extension-type-member method B|set#field(lowered self::A #this, self::A #externalFieldValue) → void;
+external static extension-type-member method B|set#field(lowered self::A #this, synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|method(lowered final self::B /* = self::A */ #this) → self::A;
 static extension-type-member method B|get#method(lowered final self::B /* = self::A */ #this) → () → self::A
   return () → self::A => js_2::_callMethodUnchecked0<self::A>(#this, "method");
@@ -71,7 +71,7 @@ external static extension-type-member method B|set#setter(lowered final self::B
 external static extension-type-member method B|get#property(lowered final self::B /* = self::A */ #this) → self::B /* = self::A */;
 external static extension-type-member method B|set#property(lowered final self::B /* = self::A */ #this, self::B /* = self::A */ b) → void;
 external static extension-type-member get B|staticField() → self::A;
-external static extension-type-member set B|staticField(self::A #externalFieldValue) → void;
+external static extension-type-member set B|staticField(synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|staticMethod() → self::A;
 external static extension-type-member method B|staticGenericMethod<T extends self::B /* = self::A */>(self::B|staticGenericMethod::T% t) → self::B|staticGenericMethod::T%;
 external static extension-type-member get B|staticGetter() → self::B /* = self::A */;

pkg/front_end/testcases/dartdevc/extension_types/external.dart.weak.expect

@@ -57,7 +57,7 @@ external static extension-type-member method B|constructor#named(core::int i)
 static extension-type-member method B|constructor#_#named#tearOff(core::int i) → self::B /* = self::A */
   return self::B|constructor#named(i);
 external static extension-type-member method B|get#field(lowered self::A #this) → self::A;
-external static extension-type-member method B|set#field(lowered self::A #this, self::A #externalFieldValue) → void;
+external static extension-type-member method B|set#field(lowered self::A #this, synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|method(lowered final self::B /* = self::A */ #this) → self::A;
 static extension-type-member method B|get#method(lowered final self::B /* = self::A */ #this) → () → self::A
   return () → self::A => self::B|method(#this);
@@ -69,7 +69,7 @@ external static extension-type-member method B|set#setter(lowered final self::B
 external static extension-type-member method B|get#property(lowered final self::B /* = self::A */ #this) → self::B /* = self::A */;
 external static extension-type-member method B|set#property(lowered final self::B /* = self::A */ #this, self::B /* = self::A */ b) → void;
 external static extension-type-member get B|staticField() → self::A;
-external static extension-type-member set B|staticField(self::A #externalFieldValue) → void;
+external static extension-type-member set B|staticField(synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|staticMethod() → self::A;
 external static extension-type-member method B|staticGenericMethod<T extends self::B /* = self::A */>(self::B|staticGenericMethod::T% t) → self::B|staticGenericMethod::T%;
 external static extension-type-member get B|staticGetter() → self::B /* = self::A */;

pkg/front_end/testcases/dartdevc/extension_types/external.dart.weak.modular.expect

@@ -57,7 +57,7 @@ external static extension-type-member method B|constructor#named(core::int i)
 static extension-type-member method B|constructor#_#named#tearOff(core::int i) → self::B /* = self::A */
   return self::B|constructor#named(i);
 external static extension-type-member method B|get#field(lowered self::A #this) → self::A;
-external static extension-type-member method B|set#field(lowered self::A #this, self::A #externalFieldValue) → void;
+external static extension-type-member method B|set#field(lowered self::A #this, synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|method(lowered final self::B /* = self::A */ #this) → self::A;
 static extension-type-member method B|get#method(lowered final self::B /* = self::A */ #this) → () → self::A
   return () → self::A => self::B|method(#this);
@@ -69,7 +69,7 @@ external static extension-type-member method B|set#setter(lowered final self::B
 external static extension-type-member method B|get#property(lowered final self::B /* = self::A */ #this) → self::B /* = self::A */;
 external static extension-type-member method B|set#property(lowered final self::B /* = self::A */ #this, self::B /* = self::A */ b) → void;
 external static extension-type-member get B|staticField() → self::A;
-external static extension-type-member set B|staticField(self::A #externalFieldValue) → void;
+external static extension-type-member set B|staticField(synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|staticMethod() → self::A;
 external static extension-type-member method B|staticGenericMethod<T extends self::B /* = self::A */>(self::B|staticGenericMethod::T% t) → self::B|staticGenericMethod::T%;
 external static extension-type-member get B|staticGetter() → self::B /* = self::A */;

pkg/front_end/testcases/dartdevc/extension_types/external.dart.weak.outline.expect

@@ -54,7 +54,7 @@ external static extension-type-member method B|constructor#named(core::int i)
 static extension-type-member method B|constructor#_#named#tearOff(core::int i) → self::B /* = self::A */
   return self::B|constructor#named(i);
 external static extension-type-member method B|get#field(lowered self::A #this) → self::A;
-external static extension-type-member method B|set#field(lowered self::A #this, self::A #externalFieldValue) → void;
+external static extension-type-member method B|set#field(lowered self::A #this, synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|method(lowered final self::B /* = self::A */ #this) → self::A;
 static extension-type-member method B|get#method(lowered final self::B /* = self::A */ #this) → () → self::A
   return () → self::A => self::B|method(#this);
@@ -66,7 +66,7 @@ external static extension-type-member method B|set#setter(lowered final self::B
 external static extension-type-member method B|get#property(lowered final self::B /* = self::A */ #this) → self::B /* = self::A */;
 external static extension-type-member method B|set#property(lowered final self::B /* = self::A */ #this, self::B /* = self::A */ b) → void;
 external static extension-type-member get B|staticField() → self::A;
-external static extension-type-member set B|staticField(self::A #externalFieldValue) → void;
+external static extension-type-member set B|staticField(synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|staticMethod() → self::A;
 external static extension-type-member method B|staticGenericMethod<T extends self::B /* = self::A */>(self::B|staticGenericMethod::T% t) → self::B|staticGenericMethod::T%;
 external static extension-type-member get B|staticGetter() → self::B /* = self::A */;

pkg/front_end/testcases/dartdevc/extension_types/external.dart.weak.transformed.expect

@@ -59,7 +59,7 @@ external static extension-type-member method B|constructor#named(core::int i)
 static extension-type-member method B|constructor#_#named#tearOff(core::int i) → self::B /* = self::A */
   return js_2::_callConstructorUnchecked1<self::B /* = self::A */>(js_2::_getPropertyTrustType<core::Object>(_js2::staticInteropGlobalContext, "B"), i);
 external static extension-type-member method B|get#field(lowered self::A #this) → self::A;
-external static extension-type-member method B|set#field(lowered self::A #this, self::A #externalFieldValue) → void;
+external static extension-type-member method B|set#field(lowered self::A #this, synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|method(lowered final self::B /* = self::A */ #this) → self::A;
 static extension-type-member method B|get#method(lowered final self::B /* = self::A */ #this) → () → self::A
   return () → self::A => js_2::_callMethodUnchecked0<self::A>(#this, "method");
@@ -71,7 +71,7 @@ external static extension-type-member method B|set#setter(lowered final self::B
 external static extension-type-member method B|get#property(lowered final self::B /* = self::A */ #this) → self::B /* = self::A */;
 external static extension-type-member method B|set#property(lowered final self::B /* = self::A */ #this, self::B /* = self::A */ b) → void;
 external static extension-type-member get B|staticField() → self::A;
-external static extension-type-member set B|staticField(self::A #externalFieldValue) → void;
+external static extension-type-member set B|staticField(synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|staticMethod() → self::A;
 external static extension-type-member method B|staticGenericMethod<T extends self::B /* = self::A */>(self::B|staticGenericMethod::T% t) → self::B|staticGenericMethod::T%;
 external static extension-type-member get B|staticGetter() → self::B /* = self::A */;

pkg/front_end/testcases/extension_types/abstract_members.dart.strong.expect

@@ -136,7 +136,7 @@ static extension-type-member method ET1|constructor#(core::int id) → self::ET1
 static extension-type-member method ET1|constructor#_#new#tearOff(core::int id) → self::ET1 /* = core::int */
   return self::ET1|constructor#(id);
 static abstract extension-type-member get ET1|m() → core::int;
-static abstract extension-type-member set ET1|m(core::int #externalFieldValue) → void;
+static abstract extension-type-member set ET1|m(synthesized core::int #externalFieldValue) → void;
 static extension-type-member method ET2|constructor#<T extends core::Object? = dynamic>(self::ET2|constructor#::T% id) → self::ET2<self::ET2|constructor#::T%> /* = self::ET2|constructor#::T% */ {
   lowered final self::ET2<self::ET2|constructor#::T%> /* = self::ET2|constructor#::T% */ #this = id;
   return #this;
@@ -181,7 +181,7 @@ static extension-type-member method ET6|get#method(lowered final self::ET6 /* =
 static abstract extension-type-member method ET6|get#getter(lowered final self::ET6 /* = self::A */ #this) → core::int;
 static abstract extension-type-member method ET6|set#setter(lowered final self::ET6 /* = self::A */ #this, core::int v) → void;
 static abstract extension-member get E|m() → core::int;
-static abstract extension-member set E|m(core::int #externalFieldValue) → void;
+static abstract extension-member set E|m(synthesized core::int #externalFieldValue) → void;
 static abstract extension-member method E|method(lowered final self::A #this) → core::int;
 static extension-member method E|get#method(lowered final self::A #this) → () → core::int
   return () → core::int => self::E|method(#this);

pkg/front_end/testcases/extension_types/abstract_members.dart.strong.transformed.expect

@@ -136,7 +136,7 @@ static extension-type-member method ET1|constructor#(core::int id) → self::ET1
 static extension-type-member method ET1|constructor#_#new#tearOff(core::int id) → self::ET1 /* = core::int */
   return self::ET1|constructor#(id);
 static abstract extension-type-member get ET1|m() → core::int;
-static abstract extension-type-member set ET1|m(core::int #externalFieldValue) → void;
+static abstract extension-type-member set ET1|m(synthesized core::int #externalFieldValue) → void;
 static extension-type-member method ET2|constructor#<T extends core::Object? = dynamic>(self::ET2|constructor#::T% id) → self::ET2<self::ET2|constructor#::T%> /* = self::ET2|constructor#::T% */ {
   lowered final self::ET2<self::ET2|constructor#::T%> /* = self::ET2|constructor#::T% */ #this = id;
   return #this;
@@ -181,7 +181,7 @@ static extension-type-member method ET6|get#method(lowered final self::ET6 /* =
 static abstract extension-type-member method ET6|get#getter(lowered final self::ET6 /* = self::A */ #this) → core::int;
 static abstract extension-type-member method ET6|set#setter(lowered final self::ET6 /* = self::A */ #this, core::int v) → void;
 static abstract extension-member get E|m() → core::int;
-static abstract extension-member set E|m(core::int #externalFieldValue) → void;
+static abstract extension-member set E|m(synthesized core::int #externalFieldValue) → void;
 static abstract extension-member method E|method(lowered final self::A #this) → core::int;
 static extension-member method E|get#method(lowered final self::A #this) → () → core::int
   return () → core::int => self::E|method(#this);

pkg/front_end/testcases/extension_types/abstract_members.dart.weak.expect

@@ -136,7 +136,7 @@ static extension-type-member method ET1|constructor#(core::int id) → self::ET1
 static extension-type-member method ET1|constructor#_#new#tearOff(core::int id) → self::ET1 /* = core::int */
   return self::ET1|constructor#(id);
 static abstract extension-type-member get ET1|m() → core::int;
-static abstract extension-type-member set ET1|m(core::int #externalFieldValue) → void;
+static abstract extension-type-member set ET1|m(synthesized core::int #externalFieldValue) → void;
 static extension-type-member method ET2|constructor#<T extends core::Object? = dynamic>(self::ET2|constructor#::T% id) → self::ET2<self::ET2|constructor#::T%> /* = self::ET2|constructor#::T% */ {
   lowered final self::ET2<self::ET2|constructor#::T%> /* = self::ET2|constructor#::T% */ #this = id;
   return #this;
@@ -181,7 +181,7 @@ static extension-type-member method ET6|get#method(lowered final self::ET6 /* =
 static abstract extension-type-member method ET6|get#getter(lowered final self::ET6 /* = self::A */ #this) → core::int;
 static abstract extension-type-member method ET6|set#setter(lowered final self::ET6 /* = self::A */ #this, core::int v) → void;
 static abstract extension-member get E|m() → core::int;
-static abstract extension-member set E|m(core::int #externalFieldValue) → void;
+static abstract extension-member set E|m(synthesized core::int #externalFieldValue) → void;
 static abstract extension-member method E|method(lowered final self::A #this) → core::int;
 static extension-member method E|get#method(lowered final self::A #this) → () → core::int
   return () → core::int => self::E|method(#this);

pkg/front_end/testcases/extension_types/abstract_members.dart.weak.modular.expect

@@ -136,7 +136,7 @@ static extension-type-member method ET1|constructor#(core::int id) → self::ET1
 static extension-type-member method ET1|constructor#_#new#tearOff(core::int id) → self::ET1 /* = core::int */
   return self::ET1|constructor#(id);
 static abstract extension-type-member get ET1|m() → core::int;
-static abstract extension-type-member set ET1|m(core::int #externalFieldValue) → void;
+static abstract extension-type-member set ET1|m(synthesized core::int #externalFieldValue) → void;
 static extension-type-member method ET2|constructor#<T extends core::Object? = dynamic>(self::ET2|constructor#::T% id) → self::ET2<self::ET2|constructor#::T%> /* = self::ET2|constructor#::T% */ {
   lowered final self::ET2<self::ET2|constructor#::T%> /* = self::ET2|constructor#::T% */ #this = id;
   return #this;
@@ -181,7 +181,7 @@ static extension-type-member method ET6|get#method(lowered final self::ET6 /* =
 static abstract extension-type-member method ET6|get#getter(lowered final self::ET6 /* = self::A */ #this) → core::int;
 static abstract extension-type-member method ET6|set#setter(lowered final self::ET6 /* = self::A */ #this, core::int v) → void;
 static abstract extension-member get E|m() → core::int;
-static abstract extension-member set E|m(core::int #externalFieldValue) → void;
+static abstract extension-member set E|m(synthesized core::int #externalFieldValue) → void;
 static abstract extension-member method E|method(lowered final self::A #this) → core::int;
 static extension-member method E|get#method(lowered final self::A #this) → () → core::int
   return () → core::int => self::E|method(#this);

pkg/front_end/testcases/extension_types/abstract_members.dart.weak.outline.expect

@@ -133,7 +133,7 @@ static extension-type-member method ET1|constructor#(core::int id) → self::ET1
 static extension-type-member method ET1|constructor#_#new#tearOff(core::int id) → self::ET1 /* = core::int */
   return self::ET1|constructor#(id);
 static abstract extension-type-member get ET1|m() → core::int;
-static abstract extension-type-member set ET1|m(core::int #externalFieldValue) → void;
+static abstract extension-type-member set ET1|m(synthesized core::int #externalFieldValue) → void;
 static extension-type-member method ET2|constructor#<T extends core::Object? = dynamic>(self::ET2|constructor#::T% id) → self::ET2<self::ET2|constructor#::T%> /* = self::ET2|constructor#::T% */
   ;
 static extension-type-member method ET2|constructor#_#new#tearOff<T extends core::Object? = dynamic>(self::ET2|constructor#_#new#tearOff::T% id) → self::ET2<self::ET2|constructor#_#new#tearOff::T%>% /* = self::ET2|constructor#_#new#tearOff::T% */
@@ -168,7 +168,7 @@ static extension-type-member method ET6|get#method(lowered final self::ET6 /* =
 static abstract extension-type-member method ET6|get#getter(lowered final self::ET6 /* = self::A */ #this) → core::int;
 static abstract extension-type-member method ET6|set#setter(lowered final self::ET6 /* = self::A */ #this, core::int v) → void;
 static abstract extension-member get E|m() → core::int;
-static abstract extension-member set E|m(core::int #externalFieldValue) → void;
+static abstract extension-member set E|m(synthesized core::int #externalFieldValue) → void;
 static abstract extension-member method E|method(lowered final self::A #this) → core::int;
 static extension-member method E|get#method(lowered final self::A #this) → () → core::int
   return () → core::int => self::E|method(#this);

pkg/front_end/testcases/extension_types/abstract_members.dart.weak.transformed.expect

@@ -136,7 +136,7 @@ static extension-type-member method ET1|constructor#(core::int id) → self::ET1
 static extension-type-member method ET1|constructor#_#new#tearOff(core::int id) → self::ET1 /* = core::int */
   return self::ET1|constructor#(id);
 static abstract extension-type-member get ET1|m() → core::int;
-static abstract extension-type-member set ET1|m(core::int #externalFieldValue) → void;
+static abstract extension-type-member set ET1|m(synthesized core::int #externalFieldValue) → void;
 static extension-type-member method ET2|constructor#<T extends core::Object? = dynamic>(self::ET2|constructor#::T% id) → self::ET2<self::ET2|constructor#::T%> /* = self::ET2|constructor#::T% */ {
   lowered final self::ET2<self::ET2|constructor#::T%> /* = self::ET2|constructor#::T% */ #this = id;
   return #this;
@@ -181,7 +181,7 @@ static extension-type-member method ET6|get#method(lowered final self::ET6 /* =
 static abstract extension-type-member method ET6|get#getter(lowered final self::ET6 /* = self::A */ #this) → core::int;
 static abstract extension-type-member method ET6|set#setter(lowered final self::ET6 /* = self::A */ #this, core::int v) → void;
 static abstract extension-member get E|m() → core::int;
-static abstract extension-member set E|m(core::int #externalFieldValue) → void;
+static abstract extension-member set E|m(synthesized core::int #externalFieldValue) → void;
 static abstract extension-member method E|method(lowered final self::A #this) → core::int;
 static extension-member method E|get#method(lowered final self::A #this) → () → core::int
   return () → core::int => self::E|method(#this);

pkg/front_end/testcases/extension_types/external.dart.strong.expect

@@ -51,7 +51,7 @@ external static extension-type-member method B|constructor#named(core::int i)
 static extension-type-member method B|constructor#_#named#tearOff(core::int i) → self::B /* = self::A */
   return self::B|constructor#named(i);
 external static extension-type-member method B|get#field(lowered self::A #this) → self::A;
-external static extension-type-member method B|set#field(lowered self::A #this, self::A #externalFieldValue) → void;
+external static extension-type-member method B|set#field(lowered self::A #this, synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|method(lowered final self::B /* = self::A */ #this) → self::A;
 static extension-type-member method B|get#method(lowered final self::B /* = self::A */ #this) → () → self::A
   return () → self::A => self::B|method(#this);
@@ -61,7 +61,7 @@ static extension-type-member method B|get#genericMethod(lowered final self::B /*
 external static extension-type-member method B|get#getter(lowered final self::B /* = self::A */ #this) → self::B /* = self::A */;
 external static extension-type-member method B|set#setter(lowered final self::B /* = self::A */ #this, self::B /* = self::A */ b) → void;
 external static extension-type-member get B|staticField() → self::A;
-external static extension-type-member set B|staticField(self::A #externalFieldValue) → void;
+external static extension-type-member set B|staticField(synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|staticMethod() → self::A;
 external static extension-type-member method B|staticGenericMethod<T extends core::Object? = dynamic>(self::B|staticGenericMethod::T% t) → self::B|staticGenericMethod::T%;
 external static extension-type-member get B|staticGetter() → self::B /* = self::A */;

pkg/front_end/testcases/extension_types/external.dart.strong.transformed.expect

@@ -51,7 +51,7 @@ external static extension-type-member method B|constructor#named(core::int i)
 static extension-type-member method B|constructor#_#named#tearOff(core::int i) → self::B /* = self::A */
   return self::B|constructor#named(i);
 external static extension-type-member method B|get#field(lowered self::A #this) → self::A;
-external static extension-type-member method B|set#field(lowered self::A #this, self::A #externalFieldValue) → void;
+external static extension-type-member method B|set#field(lowered self::A #this, synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|method(lowered final self::B /* = self::A */ #this) → self::A;
 static extension-type-member method B|get#method(lowered final self::B /* = self::A */ #this) → () → self::A
   return () → self::A => self::B|method(#this);
@@ -61,7 +61,7 @@ static extension-type-member method B|get#genericMethod(lowered final self::B /*
 external static extension-type-member method B|get#getter(lowered final self::B /* = self::A */ #this) → self::B /* = self::A */;
 external static extension-type-member method B|set#setter(lowered final self::B /* = self::A */ #this, self::B /* = self::A */ b) → void;
 external static extension-type-member get B|staticField() → self::A;
-external static extension-type-member set B|staticField(self::A #externalFieldValue) → void;
+external static extension-type-member set B|staticField(synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|staticMethod() → self::A;
 external static extension-type-member method B|staticGenericMethod<T extends core::Object? = dynamic>(self::B|staticGenericMethod::T% t) → self::B|staticGenericMethod::T%;
 external static extension-type-member get B|staticGetter() → self::B /* = self::A */;

pkg/front_end/testcases/extension_types/external.dart.weak.expect

@@ -51,7 +51,7 @@ external static extension-type-member method B|constructor#named(core::int i)
 static extension-type-member method B|constructor#_#named#tearOff(core::int i) → self::B /* = self::A */
   return self::B|constructor#named(i);
 external static extension-type-member method B|get#field(lowered self::A #this) → self::A;
-external static extension-type-member method B|set#field(lowered self::A #this, self::A #externalFieldValue) → void;
+external static extension-type-member method B|set#field(lowered self::A #this, synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|method(lowered final self::B /* = self::A */ #this) → self::A;
 static extension-type-member method B|get#method(lowered final self::B /* = self::A */ #this) → () → self::A
   return () → self::A => self::B|method(#this);
@@ -61,7 +61,7 @@ static extension-type-member method B|get#genericMethod(lowered final self::B /*
 external static extension-type-member method B|get#getter(lowered final self::B /* = self::A */ #this) → self::B /* = self::A */;
 external static extension-type-member method B|set#setter(lowered final self::B /* = self::A */ #this, self::B /* = self::A */ b) → void;
 external static extension-type-member get B|staticField() → self::A;
-external static extension-type-member set B|staticField(self::A #externalFieldValue) → void;
+external static extension-type-member set B|staticField(synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|staticMethod() → self::A;
 external static extension-type-member method B|staticGenericMethod<T extends core::Object? = dynamic>(self::B|staticGenericMethod::T% t) → self::B|staticGenericMethod::T%;
 external static extension-type-member get B|staticGetter() → self::B /* = self::A */;

pkg/front_end/testcases/extension_types/external.dart.weak.modular.expect

@@ -51,7 +51,7 @@ external static extension-type-member method B|constructor#named(core::int i)
 static extension-type-member method B|constructor#_#named#tearOff(core::int i) → self::B /* = self::A */
   return self::B|constructor#named(i);
 external static extension-type-member method B|get#field(lowered self::A #this) → self::A;
-external static extension-type-member method B|set#field(lowered self::A #this, self::A #externalFieldValue) → void;
+external static extension-type-member method B|set#field(lowered self::A #this, synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|method(lowered final self::B /* = self::A */ #this) → self::A;
 static extension-type-member method B|get#method(lowered final self::B /* = self::A */ #this) → () → self::A
   return () → self::A => self::B|method(#this);
@@ -61,7 +61,7 @@ static extension-type-member method B|get#genericMethod(lowered final self::B /*
 external static extension-type-member method B|get#getter(lowered final self::B /* = self::A */ #this) → self::B /* = self::A */;
 external static extension-type-member method B|set#setter(lowered final self::B /* = self::A */ #this, self::B /* = self::A */ b) → void;
 external static extension-type-member get B|staticField() → self::A;
-external static extension-type-member set B|staticField(self::A #externalFieldValue) → void;
+external static extension-type-member set B|staticField(synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|staticMethod() → self::A;
 external static extension-type-member method B|staticGenericMethod<T extends core::Object? = dynamic>(self::B|staticGenericMethod::T% t) → self::B|staticGenericMethod::T%;
 external static extension-type-member get B|staticGetter() → self::B /* = self::A */;

pkg/front_end/testcases/extension_types/external.dart.weak.outline.expect

@@ -40,7 +40,7 @@ external static extension-type-member method B|constructor#named(core::int i)
 static extension-type-member method B|constructor#_#named#tearOff(core::int i) → self::B /* = self::A */
   return self::B|constructor#named(i);
 external static extension-type-member method B|get#field(lowered self::A #this) → self::A;
-external static extension-type-member method B|set#field(lowered self::A #this, self::A #externalFieldValue) → void;
+external static extension-type-member method B|set#field(lowered self::A #this, synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|method(lowered final self::B /* = self::A */ #this) → self::A;
 static extension-type-member method B|get#method(lowered final self::B /* = self::A */ #this) → () → self::A
   return () → self::A => self::B|method(#this);
@@ -50,7 +50,7 @@ static extension-type-member method B|get#genericMethod(lowered final self::B /*
 external static extension-type-member method B|get#getter(lowered final self::B /* = self::A */ #this) → self::B /* = self::A */;
 external static extension-type-member method B|set#setter(lowered final self::B /* = self::A */ #this, self::B /* = self::A */ b) → void;
 external static extension-type-member get B|staticField() → self::A;
-external static extension-type-member set B|staticField(self::A #externalFieldValue) → void;
+external static extension-type-member set B|staticField(synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|staticMethod() → self::A;
 external static extension-type-member method B|staticGenericMethod<T extends core::Object? = dynamic>(self::B|staticGenericMethod::T% t) → self::B|staticGenericMethod::T%;
 external static extension-type-member get B|staticGetter() → self::B /* = self::A */;

pkg/front_end/testcases/extension_types/external.dart.weak.transformed.expect

@@ -51,7 +51,7 @@ external static extension-type-member method B|constructor#named(core::int i)
 static extension-type-member method B|constructor#_#named#tearOff(core::int i) → self::B /* = self::A */
   return self::B|constructor#named(i);
 external static extension-type-member method B|get#field(lowered self::A #this) → self::A;
-external static extension-type-member method B|set#field(lowered self::A #this, self::A #externalFieldValue) → void;
+external static extension-type-member method B|set#field(lowered self::A #this, synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|method(lowered final self::B /* = self::A */ #this) → self::A;
 static extension-type-member method B|get#method(lowered final self::B /* = self::A */ #this) → () → self::A
   return () → self::A => self::B|method(#this);
@@ -61,7 +61,7 @@ static extension-type-member method B|get#genericMethod(lowered final self::B /*
 external static extension-type-member method B|get#getter(lowered final self::B /* = self::A */ #this) → self::B /* = self::A */;
 external static extension-type-member method B|set#setter(lowered final self::B /* = self::A */ #this, self::B /* = self::A */ b) → void;
 external static extension-type-member get B|staticField() → self::A;
-external static extension-type-member set B|staticField(self::A #externalFieldValue) → void;
+external static extension-type-member set B|staticField(synthesized self::A #externalFieldValue) → void;
 external static extension-type-member method B|staticMethod() → self::A;
 external static extension-type-member method B|staticGenericMethod<T extends core::Object? = dynamic>(self::B|staticGenericMethod::T% t) → self::B|staticGenericMethod::T%;
 external static extension-type-member get B|staticGetter() → self::B /* = self::A */;

pkg/front_end/testcases/extensions/external.dart.strong.expect

@@ -26,9 +26,9 @@ extension Extension<T extends core::num> on core::List<T> {
   static set staticFieldSetter = set self::Extension|staticFieldSetter;
 }
 external static extension-member method Extension|get#field<T extends core::num>(lowered core::List<self::Extension|get#field::T> #this) → self::Extension|get#field::T;
-external static extension-member method Extension|set#field<T extends core::num>(lowered core::List<self::Extension|set#field::T> #this, self::Extension|set#field::T #externalFieldValue) → void;
+external static extension-member method Extension|set#field<T extends core::num>(lowered core::List<self::Extension|set#field::T> #this, synthesized self::Extension|set#field::T #externalFieldValue) → void;
 external static extension-member get Extension|staticField() → core::int;
-external static extension-member set Extension|staticField(core::int #externalFieldValue) → void;
+external static extension-member set Extension|staticField(synthesized core::int #externalFieldValue) → void;
 external static extension-member method Extension|get#finalField<T extends core::num>(lowered core::List<self::Extension|get#finalField::T> #this) → self::Extension|get#finalField::T;
 external static extension-member get Extension|staticFinalField() → core::int;
 external static extension-member method Extension|method<T extends core::num>(lowered final core::List<self::Extension|method::T> #this) → self::Extension|method::T;

pkg/front_end/testcases/extensions/external.dart.strong.transformed.expect

@@ -26,9 +26,9 @@ extension Extension<T extends core::num> on core::List<T> {
   static set staticFieldSetter = set self::Extension|staticFieldSetter;
 }
 external static extension-member method Extension|get#field<T extends core::num>(lowered core::List<self::Extension|get#field::T> #this) → self::Extension|get#field::T;
-external static extension-member method Extension|set#field<T extends core::num>(lowered core::List<self::Extension|set#field::T> #this, self::Extension|set#field::T #externalFieldValue) → void;
+external static extension-member method Extension|set#field<T extends core::num>(lowered core::List<self::Extension|set#field::T> #this, synthesized self::Extension|set#field::T #externalFieldValue) → void;
 external static extension-member get Extension|staticField() → core::int;
-external static extension-member set Extension|staticField(core::int #externalFieldValue) → void;
+external static extension-member set Extension|staticField(synthesized core::int #externalFieldValue) → void;
 external static extension-member method Extension|get#finalField<T extends core::num>(lowered core::List<self::Extension|get#finalField::T> #this) → self::Extension|get#finalField::T;
 external static extension-member get Extension|staticFinalField() → core::int;
 external static extension-member method Extension|method<T extends core::num>(lowered final core::List<self::Extension|method::T> #this) → self::Extension|method::T;

pkg/front_end/testcases/extensions/external.dart.weak.expect

@@ -26,9 +26,9 @@ extension Extension<T extends core::num> on core::List<T> {
   static set staticFieldSetter = set self::Extension|staticFieldSetter;
 }
 external static extension-member method Extension|get#field<T extends core::num>(lowered core::List<self::Extension|get#field::T> #this) → self::Extension|get#field::T;
-external static extension-member method Extension|set#field<T extends core::num>(lowered core::List<self::Extension|set#field::T> #this, self::Extension|set#field::T #externalFieldValue) → void;
+external static extension-member method Extension|set#field<T extends core::num>(lowered core::List<self::Extension|set#field::T> #this, synthesized self::Extension|set#field::T #externalFieldValue) → void;
 external static extension-member get Extension|staticField() → core::int;
-external static extension-member set Extension|staticField(core::int #externalFieldValue) → void;
+external static extension-member set Extension|staticField(synthesized core::int #externalFieldValue) → void;
 external static extension-member method Extension|get#finalField<T extends core::num>(lowered core::List<self::Extension|get#finalField::T> #this) → self::Extension|get#finalField::T;
 external static extension-member get Extension|staticFinalField() → core::int;
 external static extension-member method Extension|method<T extends core::num>(lowered final core::List<self::Extension|method::T> #this) → self::Extension|method::T;

pkg/front_end/testcases/extensions/external.dart.weak.modular.expect

@@ -26,9 +26,9 @@ extension Extension<T extends core::num> on core::List<T> {
   static set staticFieldSetter = set self::Extension|staticFieldSetter;
 }
 external static extension-member method Extension|get#field<T extends core::num>(lowered core::List<self::Extension|get#field::T> #this) → self::Extension|get#field::T;
-external static extension-member method Extension|set#field<T extends core::num>(lowered core::List<self::Extension|set#field::T> #this, self::Extension|set#field::T #externalFieldValue) → void;
+external static extension-member method Extension|set#field<T extends core::num>(lowered core::List<self::Extension|set#field::T> #this, synthesized self::Extension|set#field::T #externalFieldValue) → void;
 external static extension-member get Extension|staticField() → core::int;
-external static extension-member set Extension|staticField(core::int #externalFieldValue) → void;
+external static extension-member set Extension|staticField(synthesized core::int #externalFieldValue) → void;
 external static extension-member method Extension|get#finalField<T extends core::num>(lowered core::List<self::Extension|get#finalField::T> #this) → self::Extension|get#finalField::T;
 external static extension-member get Extension|staticFinalField() → core::int;
 external static extension-member method Extension|method<T extends core::num>(lowered final core::List<self::Extension|method::T> #this) → self::Extension|method::T;

pkg/front_end/testcases/extensions/external.dart.weak.outline.expect

@@ -26,9 +26,9 @@ extension Extension<T extends core::num> on core::List<T> {
   static set staticFieldSetter = set self::Extension|staticFieldSetter;
 }
 external static extension-member method Extension|get#field<T extends core::num>(lowered core::List<self::Extension|get#field::T> #this) → self::Extension|get#field::T;
-external static extension-member method Extension|set#field<T extends core::num>(lowered core::List<self::Extension|set#field::T> #this, self::Extension|set#field::T #externalFieldValue) → void;
+external static extension-member method Extension|set#field<T extends core::num>(lowered core::List<self::Extension|set#field::T> #this, synthesized self::Extension|set#field::T #externalFieldValue) → void;
 external static extension-member get Extension|staticField() → core::int;
-external static extension-member set Extension|staticField(core::int #externalFieldValue) → void;
+external static extension-member set Extension|staticField(synthesized core::int #externalFieldValue) → void;
 external static extension-member method Extension|get#finalField<T extends core::num>(lowered core::List<self::Extension|get#finalField::T> #this) → self::Extension|get#finalField::T;
 external static extension-member get Extension|staticFinalField() → core::int;
 external static extension-member method Extension|method<T extends core::num>(lowered final core::List<self::Extension|method::T> #this) → self::Extension|method::T;

pkg/front_end/testcases/extensions/external.dart.weak.transformed.expect

@@ -26,9 +26,9 @@ extension Extension<T extends core::num> on core::List<T> {
   static set staticFieldSetter = set self::Extension|staticFieldSetter;
 }
 external static extension-member method Extension|get#field<T extends core::num>(lowered core::List<self::Extension|get#field::T> #this) → self::Extension|get#field::T;
-external static extension-member method Extension|set#field<T extends core::num>(lowered core::List<self::Extension|set#field::T> #this, self::Extension|set#field::T #externalFieldValue) → void;
+external static extension-member method Extension|set#field<T extends core::num>(lowered core::List<self::Extension|set#field::T> #this, synthesized self::Extension|set#field::T #externalFieldValue) → void;
 external static extension-member get Extension|staticField() → core::int;
-external static extension-member set Extension|staticField(core::int #externalFieldValue) → void;
+external static extension-member set Extension|staticField(synthesized core::int #externalFieldValue) → void;
 external static extension-member method Extension|get#finalField<T extends core::num>(lowered core::List<self::Extension|get#finalField::T> #this) → self::Extension|get#finalField::T;
 external static extension-member get Extension|staticFinalField() → core::int;
 external static extension-member method Extension|method<T extends core::num>(lowered final core::List<self::Extension|method::T> #this) → self::Extension|method::T;

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

@@ -364,7 +364,7 @@ extension E on core::int {
 static field core::int new = 87;
 static field self::C c = new self::C::•();
 external static extension-member method E|get#new(lowered core::int #this) → core::int;
-external static extension-member method E|set#new(lowered core::int #this, core::int #externalFieldValue) → void;
+external static extension-member method E|set#new(lowered core::int #this, synthesized core::int #externalFieldValue) → void;
 static extension-member method E|call<T extends core::Object? = dynamic>(lowered final core::int #this) → dynamic {}
 static extension-member method E|get#call(lowered final core::int #this) → <T extends core::Object? = dynamic>() → dynamic
   return <T extends core::Object? = dynamic>() → dynamic => self::E|call<T%>(#this);

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

@@ -364,7 +364,7 @@ extension E on core::int {
 static field core::int new = 87;
 static field self::C c = new self::C::•();
 external static extension-member method E|get#new(lowered core::int #this) → core::int;
-external static extension-member method E|set#new(lowered core::int #this, core::int #externalFieldValue) → void;
+external static extension-member method E|set#new(lowered core::int #this, synthesized core::int #externalFieldValue) → void;
 static extension-member method E|call<T extends core::Object? = dynamic>(lowered final core::int #this) → dynamic {}
 static extension-member method E|get#call(lowered final core::int #this) → <T extends core::Object? = dynamic>() → dynamic
   return <T extends core::Object? = dynamic>() → dynamic => self::E|call<T%>(#this);

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

@@ -364,7 +364,7 @@ extension E on core::int {
 static field core::int new = 87;
 static field self::C c = new self::C::•();
 external static extension-member method E|get#new(lowered core::int #this) → core::int;
-external static extension-member method E|set#new(lowered core::int #this, core::int #externalFieldValue) → void;
+external static extension-member method E|set#new(lowered core::int #this, synthesized core::int #externalFieldValue) → void;
 static extension-member method E|call<T extends core::Object? = dynamic>(lowered final core::int #this) → dynamic {}
 static extension-member method E|get#call(lowered final core::int #this) → <T extends core::Object? = dynamic>() → dynamic
   return <T extends core::Object? = dynamic>() → dynamic => self::E|call<T%>(#this);

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

@@ -364,7 +364,7 @@ extension E on core::int {
 static field core::int new = 87;
 static field self::C c = new self::C::•();
 external static extension-member method E|get#new(lowered core::int #this) → core::int;
-external static extension-member method E|set#new(lowered core::int #this, core::int #externalFieldValue) → void;
+external static extension-member method E|set#new(lowered core::int #this, synthesized core::int #externalFieldValue) → void;
 static extension-member method E|call<T extends core::Object? = dynamic>(lowered final core::int #this) → dynamic {}
 static extension-member method E|get#call(lowered final core::int #this) → <T extends core::Object? = dynamic>() → dynamic
   return <T extends core::Object? = dynamic>() → dynamic => self::E|call<T%>(#this);

pkg/front_end/testcases/general/new_as_selector.dart.weak.outline.expect

@@ -61,7 +61,7 @@ extension E on core::int {
 static field core::int new;
 static field self::C c;
 external static extension-member method E|get#new(lowered core::int #this) → core::int;
-external static extension-member method E|set#new(lowered core::int #this, core::int #externalFieldValue) → void;
+external static extension-member method E|set#new(lowered core::int #this, synthesized core::int #externalFieldValue) → void;
 static extension-member method E|call<T extends core::Object? = dynamic>(lowered final core::int #this) → dynamic
   ;
 static extension-member method E|get#call(lowered final core::int #this) → <T extends core::Object? = dynamic>() → dynamic

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

@@ -364,7 +364,7 @@ extension E on core::int {
 static field core::int new = 87;
 static field self::C c = new self::C::•();
 external static extension-member method E|get#new(lowered core::int #this) → core::int;
-external static extension-member method E|set#new(lowered core::int #this, core::int #externalFieldValue) → void;
+external static extension-member method E|set#new(lowered core::int #this, synthesized core::int #externalFieldValue) → void;
 static extension-member method E|call<T extends core::Object? = dynamic>(lowered final core::int #this) → dynamic {}
 static extension-member method E|get#call(lowered final core::int #this) → <T extends core::Object? = dynamic>() → dynamic
   return <T extends core::Object? = dynamic>() → dynamic => self::E|call<T%>(#this);

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

@@ -8,7 +8,7 @@ abstract class _AbstractClass extends core::Object { // from org-dartlang-testca
     : super core::Object::•()
     ;
   abstract get _privateAbstractField() → core::int;
-  abstract set _privateAbstractField(core::int #externalFieldValue) → void;
+  abstract set _privateAbstractField(synthesized core::int #externalFieldValue) → void;
 }
 class _Class extends core::Object { // from org-dartlang-testcase:///private_members_part.dart
   field core::int _privateField = 1;

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

@@ -8,7 +8,7 @@ abstract class _AbstractClass extends core::Object { // from org-dartlang-testca
     : super core::Object::•()
     ;
   abstract get _privateAbstractField() → core::int;
-  abstract set _privateAbstractField(core::int #externalFieldValue) → void;
+  abstract set _privateAbstractField(synthesized core::int #externalFieldValue) → void;
 }
 class _Class extends core::Object { // from org-dartlang-testcase:///private_members_part.dart
   field core::int _privateField = 1;

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

@@ -8,7 +8,7 @@ abstract class _AbstractClass extends core::Object { // from org-dartlang-testca
     : super core::Object::•()
     ;
   abstract get _privateAbstractField() → core::int;
-  abstract set _privateAbstractField(core::int #externalFieldValue) → void;
+  abstract set _privateAbstractField(synthesized core::int #externalFieldValue) → void;
 }
 class _Class extends core::Object { // from org-dartlang-testcase:///private_members_part.dart
   field core::int _privateField = 1;

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

@@ -8,7 +8,7 @@ abstract class _AbstractClass extends core::Object { // from org-dartlang-testca
     : super core::Object::•()
     ;
   abstract get _privateAbstractField() → core::int;
-  abstract set _privateAbstractField(core::int #externalFieldValue) → void;
+  abstract set _privateAbstractField(synthesized core::int #externalFieldValue) → void;
 }
 class _Class extends core::Object { // from org-dartlang-testcase:///private_members_part.dart
   field core::int _privateField = 1;

pkg/front_end/testcases/general/private_members.dart.weak.outline.expect

@@ -7,7 +7,7 @@ abstract class _AbstractClass extends core::Object { // from org-dartlang-testca
   synthetic constructor •() → self::_AbstractClass
     ;
   abstract get _privateAbstractField() → core::int;
-  abstract set _privateAbstractField(core::int #externalFieldValue) → void;
+  abstract set _privateAbstractField(synthesized core::int #externalFieldValue) → void;
 }
 class _Class extends core::Object { // from org-dartlang-testcase:///private_members_part.dart
   field core::int _privateField;

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

@@ -8,7 +8,7 @@ abstract class _AbstractClass extends core::Object { // from org-dartlang-testca
     : super core::Object::•()
     ;
   abstract get _privateAbstractField() → core::int;
-  abstract set _privateAbstractField(core::int #externalFieldValue) → void;
+  abstract set _privateAbstractField(synthesized core::int #externalFieldValue) → void;
 }
 class _Class extends core::Object { // from org-dartlang-testcase:///private_members_part.dart
   field core::int _privateField = 1;

pkg/front_end/testcases/incremental/crash_05.yaml.world.1.expect

@@ -15,7 +15,7 @@ library from "org-dartlang-test:///lib.dart" as lib {
     get yy() → dart.core::int
       return dart.ffi::_loadUint32(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C9.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C7
-    set yy(dart.core::int #externalFieldValue) → void
+    set yy(synthesized dart.core::int #externalFieldValue) → void
       return dart.ffi::_storeUint32(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C9.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C11
     static get #sizeOf() → dart.core::int*
@@ -40,7 +40,7 @@ library from "org-dartlang-test:///main.dart" as main {
         synthesized dart.core::Object #typedDataBase = this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object};
         synthesized dart.core::int #offset = #C9.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*};
       } =>#typedDataBase is{ForLegacy} dart.ffi::Pointer<dart.ffi::NativeType> ?{dart.core::Object} dart.ffi::_fromAddress<lib::Y>(#typedDataBase.{dart.ffi::Pointer::address}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}) : let synthesized dart.typed_data::TypedData #typedData = dart._internal::unsafeCast<dart.typed_data::TypedData>(#typedDataBase) in #typedData.{dart.typed_data::TypedData::buffer}{dart.typed_data::ByteBuffer}.{dart.typed_data::ByteBuffer::asUint8List}(#typedData.{dart.typed_data::TypedData::offsetInBytes}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}, #C13.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}){([dart.core::int, dart.core::int?]) → dart.typed_data::Uint8List});
-    set xx(lib::Y #externalFieldValue) → void
+    set xx(synthesized lib::Y #externalFieldValue) → void
       return dart.ffi::_memCopy(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C9.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C8, #C13.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C11
     static get #sizeOf() → dart.core::int*

pkg/front_end/testcases/incremental/crash_05.yaml.world.2.expect

@@ -15,7 +15,7 @@ library from "org-dartlang-test:///lib.dart" as lib {
     get yy() → dart.core::int
       return dart.ffi::_loadUint32(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C9.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C7
-    set yy(dart.core::int #externalFieldValue) → void
+    set yy(synthesized dart.core::int #externalFieldValue) → void
       return dart.ffi::_storeUint32(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C9.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C11
     static get #sizeOf() → dart.core::int*
@@ -40,7 +40,7 @@ library from "org-dartlang-test:///main.dart" as main {
         synthesized dart.core::Object #typedDataBase = this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object};
         synthesized dart.core::int #offset = #C9.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*};
       } =>#typedDataBase is{ForLegacy} dart.ffi::Pointer<dart.ffi::NativeType> ?{dart.core::Object} dart.ffi::_fromAddress<lib::Y>(#typedDataBase.{dart.ffi::Pointer::address}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}) : let synthesized dart.typed_data::TypedData #typedData = dart._internal::unsafeCast<dart.typed_data::TypedData>(#typedDataBase) in #typedData.{dart.typed_data::TypedData::buffer}{dart.typed_data::ByteBuffer}.{dart.typed_data::ByteBuffer::asUint8List}(#typedData.{dart.typed_data::TypedData::offsetInBytes}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}, #C13.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}){([dart.core::int, dart.core::int?]) → dart.typed_data::Uint8List});
-    set xx(lib::Y #externalFieldValue) → void
+    set xx(synthesized lib::Y #externalFieldValue) → void
       return dart.ffi::_memCopy(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C9.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C8, #C13.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C11
     static get #sizeOf() → dart.core::int*

pkg/front_end/testcases/incremental/crash_06.yaml.world.1.expect

@@ -34,7 +34,7 @@ library from "org-dartlang-test:///structs.dart" as str {
         synthesized dart.core::Object #typedDataBase = this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object};
         synthesized dart.core::int #offset = #C8.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*};
       } =>#typedDataBase is{ForLegacy} dart.ffi::Pointer<dart.ffi::NativeType> ?{dart.core::Object} dart.ffi::_fromAddress<str::Y>(#typedDataBase.{dart.ffi::Pointer::address}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}) : let synthesized dart.typed_data::TypedData #typedData = dart._internal::unsafeCast<dart.typed_data::TypedData>(#typedDataBase) in #typedData.{dart.typed_data::TypedData::buffer}{dart.typed_data::ByteBuffer}.{dart.typed_data::ByteBuffer::asUint8List}(#typedData.{dart.typed_data::TypedData::offsetInBytes}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}, #C8.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}){([dart.core::int, dart.core::int?]) → dart.typed_data::Uint8List});
-    set yy(str::Y #externalFieldValue) → void
+    set yy(synthesized str::Y #externalFieldValue) → void
       return dart.ffi::_memCopy(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C8.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C7, #C8.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C10
     static get #sizeOf() → dart.core::int*
@@ -48,7 +48,7 @@ library from "org-dartlang-test:///structs.dart" as str {
       : super dart.ffi::Struct::_fromTypedDataBase(#typedDataBase)
       ;
     external get zz() → invalid-type;
-    external set zz(invalid-type #externalFieldValue) → void;
+    external set zz(synthesized invalid-type #externalFieldValue) → void;
     @#C10
     static get #sizeOf() → dart.core::int*
       return #C8.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*};

pkg/front_end/testcases/incremental/crash_06.yaml.world.2.expect

@@ -34,7 +34,7 @@ library from "org-dartlang-test:///structs.dart" as str {
         synthesized dart.core::Object #typedDataBase = this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object};
         synthesized dart.core::int #offset = #C8.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*};
       } =>#typedDataBase is{ForLegacy} dart.ffi::Pointer<dart.ffi::NativeType> ?{dart.core::Object} dart.ffi::_fromAddress<str::Y>(#typedDataBase.{dart.ffi::Pointer::address}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}) : let synthesized dart.typed_data::TypedData #typedData = dart._internal::unsafeCast<dart.typed_data::TypedData>(#typedDataBase) in #typedData.{dart.typed_data::TypedData::buffer}{dart.typed_data::ByteBuffer}.{dart.typed_data::ByteBuffer::asUint8List}(#typedData.{dart.typed_data::TypedData::offsetInBytes}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}, #C8.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}){([dart.core::int, dart.core::int?]) → dart.typed_data::Uint8List});
-    set yy(str::Y #externalFieldValue) → void
+    set yy(synthesized str::Y #externalFieldValue) → void
       return dart.ffi::_memCopy(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C8.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C7, #C8.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C10
     static get #sizeOf() → dart.core::int*
@@ -48,7 +48,7 @@ library from "org-dartlang-test:///structs.dart" as str {
       : super dart.ffi::Struct::_fromTypedDataBase(#typedDataBase)
       ;
     external get zz() → invalid-type;
-    external set zz(invalid-type #externalFieldValue) → void;
+    external set zz(synthesized invalid-type #externalFieldValue) → void;
     @#C10
     static get #sizeOf() → dart.core::int*
       return #C8.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*};

pkg/front_end/testcases/incremental/external_extension_field.yaml.world.1.expect

@@ -6,7 +6,7 @@ library from "org-dartlang-test:///main.dart" as main {
     set field = main::E|set#field;
   }
   external static extension-member method E|get#field(lowered dart.core::String #this) → dart.core::int;
-  external static extension-member method E|set#field(lowered dart.core::String #this, dart.core::int #externalFieldValue) → void;
+  external static extension-member method E|set#field(lowered dart.core::String #this, synthesized dart.core::int #externalFieldValue) → void;
   static method main() → dynamic {
     main::E|set#field("foo", main::E|get#field("bar"));
   }

pkg/front_end/testcases/incremental/external_extension_field.yaml.world.2.expect

@@ -6,7 +6,7 @@ library from "org-dartlang-test:///main.dart" as main {
     set field = main::E|set#field;
   }
   external static extension-member method E|get#field(lowered dart.core::String #this) → dart.core::int;
-  external static extension-member method E|set#field(lowered dart.core::String #this, dart.core::int #externalFieldValue) → void;
+  external static extension-member method E|set#field(lowered dart.core::String #this, synthesized dart.core::int #externalFieldValue) → void;
   static method main() → dynamic {
     main::E|set#field("foo", main::E|get#field("bar"));
   }

pkg/front_end/testcases/incremental/ffi_01.yaml.world.1.expect

@@ -12,17 +12,17 @@ library from "org-dartlang-test:///lib.dart" as lib {
     get x() → dart.core::double
       return dart.ffi::_loadDouble(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set x(dart.core::double #externalFieldValue) → void
+    set x(synthesized dart.core::double #externalFieldValue) → void
       return dart.ffi::_storeDouble(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C8
     get y() → dart.core::double
       return dart.ffi::_loadDouble(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C12.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set y(dart.core::double #externalFieldValue) → void
+    set y(synthesized dart.core::double #externalFieldValue) → void
       return dart.ffi::_storeDouble(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C12.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     get next() → dart.ffi::Pointer<lib::Coordinate>
       return dart.ffi::_fromAddress<lib::Coordinate>(dart.ffi::_loadAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C14.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}));
-    set next(dart.ffi::Pointer<lib::Coordinate> #externalFieldValue) → void
+    set next(synthesized dart.ffi::Pointer<lib::Coordinate> #externalFieldValue) → void
       return dart.ffi::_storeAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C14.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::Pointer::address}{dart.core::int});
     static factory allocate(dart.core::double x, dart.core::double y, dart.ffi::Pointer<lib::Coordinate>? next) → lib::Coordinate {
       throw "";

pkg/front_end/testcases/incremental/ffi_01.yaml.world.2.expect

@@ -12,17 +12,17 @@ library from "org-dartlang-test:///lib.dart" as lib {
     get x() → dart.core::double
       return dart.ffi::_loadDouble(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set x(dart.core::double #externalFieldValue) → void
+    set x(synthesized dart.core::double #externalFieldValue) → void
       return dart.ffi::_storeDouble(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C8
     get y() → dart.core::double
       return dart.ffi::_loadDouble(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C12.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set y(dart.core::double #externalFieldValue) → void
+    set y(synthesized dart.core::double #externalFieldValue) → void
       return dart.ffi::_storeDouble(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C12.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     get next() → dart.ffi::Pointer<lib::Coordinate>
       return dart.ffi::_fromAddress<lib::Coordinate>(dart.ffi::_loadAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C14.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}));
-    set next(dart.ffi::Pointer<lib::Coordinate> #externalFieldValue) → void
+    set next(synthesized dart.ffi::Pointer<lib::Coordinate> #externalFieldValue) → void
       return dart.ffi::_storeAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C14.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::Pointer::address}{dart.core::int});
     static factory allocate(dart.core::double x, dart.core::double y, dart.ffi::Pointer<lib::Coordinate>? next) → lib::Coordinate {
       throw "";

pkg/front_end/testcases/incremental/ffi_02.yaml.world.1.expect

@@ -12,17 +12,17 @@ library from "org-dartlang-test:///lib.dart" as lib {
     get x() → dart.core::double
       return dart.ffi::_loadDouble(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set x(dart.core::double #externalFieldValue) → void
+    set x(synthesized dart.core::double #externalFieldValue) → void
       return dart.ffi::_storeDouble(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C8
     get y() → dart.core::double
       return dart.ffi::_loadDouble(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C12.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set y(dart.core::double #externalFieldValue) → void
+    set y(synthesized dart.core::double #externalFieldValue) → void
       return dart.ffi::_storeDouble(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C12.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     get next() → dart.ffi::Pointer<lib::Coordinate>
       return dart.ffi::_fromAddress<lib::Coordinate>(dart.ffi::_loadAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C14.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}));
-    set next(dart.ffi::Pointer<lib::Coordinate> #externalFieldValue) → void
+    set next(synthesized dart.ffi::Pointer<lib::Coordinate> #externalFieldValue) → void
       return dart.ffi::_storeAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C14.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::Pointer::address}{dart.core::int});
     static factory allocate(dart.core::double x, dart.core::double y, dart.ffi::Pointer<lib::Coordinate>? next) → lib::Coordinate {
       throw "";

pkg/front_end/testcases/incremental/issue_46666.yaml.world.1.expect

@@ -13,22 +13,22 @@ library from "org-dartlang-test:///a.dart" as a {
       ;
     get a1() → dart.ffi::Pointer<dart.ffi::Void>
       return dart.ffi::_fromAddress<dart.ffi::Void>(dart.ffi::_loadAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C9.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}));
-    set a1(dart.ffi::Pointer<dart.ffi::Void> #externalFieldValue) → void
+    set a1(synthesized dart.ffi::Pointer<dart.ffi::Void> #externalFieldValue) → void
       return dart.ffi::_storeAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C9.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::Pointer::address}{dart.core::int});
     get a2() → dart.ffi::Pointer<dart.ffi::Void>
       return dart.ffi::_fromAddress<dart.ffi::Void>(dart.ffi::_loadAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C12.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}));
-    set a2(dart.ffi::Pointer<dart.ffi::Void> #externalFieldValue) → void
+    set a2(synthesized dart.ffi::Pointer<dart.ffi::Void> #externalFieldValue) → void
       return dart.ffi::_storeAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C12.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::Pointer::address}{dart.core::int});
     get a3() → dart.ffi::Pointer<dart.ffi::Void>
       return dart.ffi::_fromAddress<dart.ffi::Void>(dart.ffi::_loadAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C14.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}));
-    set a3(dart.ffi::Pointer<dart.ffi::Void> #externalFieldValue) → void
+    set a3(synthesized dart.ffi::Pointer<dart.ffi::Void> #externalFieldValue) → void
       return dart.ffi::_storeAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C14.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::Pointer::address}{dart.core::int});
     get blah() → a::NestedStruct
       return new a::NestedStruct::#fromTypedDataBase( block {
         synthesized dart.core::Object #typedDataBase = this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object};
         synthesized dart.core::int #offset = #C17.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*};
       } =>#typedDataBase is{ForLegacy} dart.ffi::Pointer<dart.ffi::NativeType> ?{dart.core::Object} dart.ffi::_fromAddress<a::NestedStruct>(#typedDataBase.{dart.ffi::Pointer::address}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}) : let synthesized dart.typed_data::TypedData #typedData = dart._internal::unsafeCast<dart.typed_data::TypedData>(#typedDataBase) in #typedData.{dart.typed_data::TypedData::buffer}{dart.typed_data::ByteBuffer}.{dart.typed_data::ByteBuffer::asUint8List}(#typedData.{dart.typed_data::TypedData::offsetInBytes}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}, #C17.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}){([dart.core::int, dart.core::int?]) → dart.typed_data::Uint8List});
-    set blah(a::NestedStruct #externalFieldValue) → void
+    set blah(synthesized a::NestedStruct #externalFieldValue) → void
       return dart.ffi::_memCopy(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C17.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C8, #C17.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C19
     static get #sizeOf() → dart.core::int*
@@ -44,15 +44,15 @@ library from "org-dartlang-test:///a.dart" as a {
       ;
     get n1() → dart.ffi::Pointer<dart.ffi::Void>
       return dart.ffi::_fromAddress<dart.ffi::Void>(dart.ffi::_loadAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C9.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}));
-    set n1(dart.ffi::Pointer<dart.ffi::Void> #externalFieldValue) → void
+    set n1(synthesized dart.ffi::Pointer<dart.ffi::Void> #externalFieldValue) → void
       return dart.ffi::_storeAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C9.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::Pointer::address}{dart.core::int});
     get n2() → dart.ffi::Pointer<dart.ffi::Void>
       return dart.ffi::_fromAddress<dart.ffi::Void>(dart.ffi::_loadAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C12.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}));
-    set n2(dart.ffi::Pointer<dart.ffi::Void> #externalFieldValue) → void
+    set n2(synthesized dart.ffi::Pointer<dart.ffi::Void> #externalFieldValue) → void
       return dart.ffi::_storeAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C12.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::Pointer::address}{dart.core::int});
     get n3() → dart.ffi::Pointer<dart.ffi::Void>
       return dart.ffi::_fromAddress<dart.ffi::Void>(dart.ffi::_loadAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C14.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}));
-    set n3(dart.ffi::Pointer<dart.ffi::Void> #externalFieldValue) → void
+    set n3(synthesized dart.ffi::Pointer<dart.ffi::Void> #externalFieldValue) → void
       return dart.ffi::_storeAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C14.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::Pointer::address}{dart.core::int});
     @#C19
     static get #sizeOf() → dart.core::int*
@@ -79,7 +79,7 @@ library from "org-dartlang-test:///b.dart" as b {
         synthesized dart.core::Object #typedDataBase = this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object};
         synthesized dart.core::int #offset = #C9.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*};
       } =>#typedDataBase is{ForLegacy} dart.ffi::Pointer<dart.ffi::NativeType> ?{dart.core::Object} dart.ffi::_fromAddress<a::StructA>(#typedDataBase.{dart.ffi::Pointer::address}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}) : let synthesized dart.typed_data::TypedData #typedData = dart._internal::unsafeCast<dart.typed_data::TypedData>(#typedDataBase) in #typedData.{dart.typed_data::TypedData::buffer}{dart.typed_data::ByteBuffer}.{dart.typed_data::ByteBuffer::asUint8List}(#typedData.{dart.typed_data::TypedData::offsetInBytes}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}){([dart.core::int, dart.core::int?]) → dart.typed_data::Uint8List});
-    set b1(a::StructA #externalFieldValue) → void
+    set b1(synthesized a::StructA #externalFieldValue) → void
       return dart.ffi::_memCopy(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C9.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C8, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C19
     static get #sizeOf() → dart.core::int*

pkg/front_end/testcases/incremental/issue_46666.yaml.world.2.expect

@@ -13,22 +13,22 @@ library from "org-dartlang-test:///a.dart" as a {
       ;
     get a1() → dart.ffi::Pointer<dart.ffi::Void>
       return dart.ffi::_fromAddress<dart.ffi::Void>(dart.ffi::_loadAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C9.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}));
-    set a1(dart.ffi::Pointer<dart.ffi::Void> #externalFieldValue) → void
+    set a1(synthesized dart.ffi::Pointer<dart.ffi::Void> #externalFieldValue) → void
       return dart.ffi::_storeAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C9.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::Pointer::address}{dart.core::int});
     get a2() → dart.ffi::Pointer<dart.ffi::Void>
       return dart.ffi::_fromAddress<dart.ffi::Void>(dart.ffi::_loadAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C12.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}));
-    set a2(dart.ffi::Pointer<dart.ffi::Void> #externalFieldValue) → void
+    set a2(synthesized dart.ffi::Pointer<dart.ffi::Void> #externalFieldValue) → void
       return dart.ffi::_storeAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C12.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::Pointer::address}{dart.core::int});
     get a3() → dart.ffi::Pointer<dart.ffi::Void>
       return dart.ffi::_fromAddress<dart.ffi::Void>(dart.ffi::_loadAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C14.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}));
-    set a3(dart.ffi::Pointer<dart.ffi::Void> #externalFieldValue) → void
+    set a3(synthesized dart.ffi::Pointer<dart.ffi::Void> #externalFieldValue) → void
       return dart.ffi::_storeAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C14.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::Pointer::address}{dart.core::int});
     get blah() → a::NestedStruct
       return new a::NestedStruct::#fromTypedDataBase( block {
         synthesized dart.core::Object #typedDataBase = this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object};
         synthesized dart.core::int #offset = #C17.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*};
       } =>#typedDataBase is{ForLegacy} dart.ffi::Pointer<dart.ffi::NativeType> ?{dart.core::Object} dart.ffi::_fromAddress<a::NestedStruct>(#typedDataBase.{dart.ffi::Pointer::address}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}) : let synthesized dart.typed_data::TypedData #typedData = dart._internal::unsafeCast<dart.typed_data::TypedData>(#typedDataBase) in #typedData.{dart.typed_data::TypedData::buffer}{dart.typed_data::ByteBuffer}.{dart.typed_data::ByteBuffer::asUint8List}(#typedData.{dart.typed_data::TypedData::offsetInBytes}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}, #C17.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}){([dart.core::int, dart.core::int?]) → dart.typed_data::Uint8List});
-    set blah(a::NestedStruct #externalFieldValue) → void
+    set blah(synthesized a::NestedStruct #externalFieldValue) → void
       return dart.ffi::_memCopy(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C17.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C8, #C17.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C19
     static get #sizeOf() → dart.core::int*
@@ -44,15 +44,15 @@ library from "org-dartlang-test:///a.dart" as a {
       ;
     get n1() → dart.ffi::Pointer<dart.ffi::Void>
       return dart.ffi::_fromAddress<dart.ffi::Void>(dart.ffi::_loadAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C9.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}));
-    set n1(dart.ffi::Pointer<dart.ffi::Void> #externalFieldValue) → void
+    set n1(synthesized dart.ffi::Pointer<dart.ffi::Void> #externalFieldValue) → void
       return dart.ffi::_storeAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C9.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::Pointer::address}{dart.core::int});
     get n2() → dart.ffi::Pointer<dart.ffi::Void>
       return dart.ffi::_fromAddress<dart.ffi::Void>(dart.ffi::_loadAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C12.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}));
-    set n2(dart.ffi::Pointer<dart.ffi::Void> #externalFieldValue) → void
+    set n2(synthesized dart.ffi::Pointer<dart.ffi::Void> #externalFieldValue) → void
       return dart.ffi::_storeAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C12.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::Pointer::address}{dart.core::int});
     get n3() → dart.ffi::Pointer<dart.ffi::Void>
       return dart.ffi::_fromAddress<dart.ffi::Void>(dart.ffi::_loadAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C14.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}));
-    set n3(dart.ffi::Pointer<dart.ffi::Void> #externalFieldValue) → void
+    set n3(synthesized dart.ffi::Pointer<dart.ffi::Void> #externalFieldValue) → void
       return dart.ffi::_storeAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C14.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::Pointer::address}{dart.core::int});
     @#C19
     static get #sizeOf() → dart.core::int*
@@ -79,7 +79,7 @@ library from "org-dartlang-test:///b.dart" as b {
         synthesized dart.core::Object #typedDataBase = this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object};
         synthesized dart.core::int #offset = #C9.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*};
       } =>#typedDataBase is{ForLegacy} dart.ffi::Pointer<dart.ffi::NativeType> ?{dart.core::Object} dart.ffi::_fromAddress<a::StructA>(#typedDataBase.{dart.ffi::Pointer::address}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}) : let synthesized dart.typed_data::TypedData #typedData = dart._internal::unsafeCast<dart.typed_data::TypedData>(#typedDataBase) in #typedData.{dart.typed_data::TypedData::buffer}{dart.typed_data::ByteBuffer}.{dart.typed_data::ByteBuffer::asUint8List}(#typedData.{dart.typed_data::TypedData::offsetInBytes}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}){([dart.core::int, dart.core::int?]) → dart.typed_data::Uint8List});
-    set b1(a::StructA #externalFieldValue) → void
+    set b1(synthesized a::StructA #externalFieldValue) → void
       return dart.ffi::_memCopy(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C9.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C8, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C19
     static get #sizeOf() → dart.core::int*

pkg/front_end/testcases/incremental/no_outline_change_35.yaml.world.1.expect

@@ -12,17 +12,17 @@ library from "org-dartlang-test:///lib.dart" as lib {
     get x() → dart.core::double
       return dart.ffi::_loadDouble(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set x(dart.core::double #externalFieldValue) → void
+    set x(synthesized dart.core::double #externalFieldValue) → void
       return dart.ffi::_storeDouble(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C8
     get y() → dart.core::double
       return dart.ffi::_loadDouble(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C12.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set y(dart.core::double #externalFieldValue) → void
+    set y(synthesized dart.core::double #externalFieldValue) → void
       return dart.ffi::_storeDouble(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C12.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     get next() → dart.ffi::Pointer<lib::Coordinate>
       return dart.ffi::_fromAddress<lib::Coordinate>(dart.ffi::_loadAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C14.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}));
-    set next(dart.ffi::Pointer<lib::Coordinate> #externalFieldValue) → void
+    set next(synthesized dart.ffi::Pointer<lib::Coordinate> #externalFieldValue) → void
       return dart.ffi::_storeAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C14.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::Pointer::address}{dart.core::int});
     static factory allocate(dart.core::double x, dart.core::double y, dart.ffi::Pointer<lib::Coordinate>? next) → lib::Coordinate {
       throw "";

pkg/front_end/testcases/incremental/no_outline_change_35.yaml.world.2.expect

@@ -12,17 +12,17 @@ library from "org-dartlang-test:///lib.dart" as lib {
     get x() → dart.core::double
       return dart.ffi::_loadDouble(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set x(dart.core::double #externalFieldValue) → void
+    set x(synthesized dart.core::double #externalFieldValue) → void
       return dart.ffi::_storeDouble(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C8
     get y() → dart.core::double
       return dart.ffi::_loadDouble(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C12.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set y(dart.core::double #externalFieldValue) → void
+    set y(synthesized dart.core::double #externalFieldValue) → void
       return dart.ffi::_storeDouble(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C12.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     get next() → dart.ffi::Pointer<lib::Coordinate>
       return dart.ffi::_fromAddress<lib::Coordinate>(dart.ffi::_loadAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C14.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}));
-    set next(dart.ffi::Pointer<lib::Coordinate> #externalFieldValue) → void
+    set next(synthesized dart.ffi::Pointer<lib::Coordinate> #externalFieldValue) → void
       return dart.ffi::_storeAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C14.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::Pointer::address}{dart.core::int});
     static factory allocate(dart.core::double x, dart.core::double y, dart.ffi::Pointer<lib::Coordinate>? next) → lib::Coordinate {
       throw "";

pkg/front_end/testcases/incremental/no_outline_change_35.yaml.world.3.expect

@@ -12,17 +12,17 @@ library from "org-dartlang-test:///lib.dart" as lib {
     get x() → dart.core::double
       return dart.ffi::_loadDouble(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set x(dart.core::double #externalFieldValue) → void
+    set x(synthesized dart.core::double #externalFieldValue) → void
       return dart.ffi::_storeDouble(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C8
     get y() → dart.core::double
       return dart.ffi::_loadDouble(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C12.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set y(dart.core::double #externalFieldValue) → void
+    set y(synthesized dart.core::double #externalFieldValue) → void
       return dart.ffi::_storeDouble(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C12.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     get next() → dart.ffi::Pointer<lib::Coordinate>
       return dart.ffi::_fromAddress<lib::Coordinate>(dart.ffi::_loadAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C14.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}));
-    set next(dart.ffi::Pointer<lib::Coordinate> #externalFieldValue) → void
+    set next(synthesized dart.ffi::Pointer<lib::Coordinate> #externalFieldValue) → void
       return dart.ffi::_storeAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C14.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::Pointer::address}{dart.core::int});
     static factory allocate(dart.core::double x, dart.core::double y, dart.ffi::Pointer<lib::Coordinate>? next) → lib::Coordinate {
       dart.core::print("hello");

pkg/front_end/testcases/incremental/no_outline_change_46.yaml.world.1.expect

@@ -6,6 +6,6 @@ library from "org-dartlang-test:///main.dart" as main {
       : super dart.core::Object::•()
       ;
     external get x() → dart.core::int;
-    external set x(dart.core::int #externalFieldValue) → void;
+    external set x(synthesized dart.core::int #externalFieldValue) → void;
   }
 }

pkg/front_end/testcases/incremental/no_outline_change_46.yaml.world.2.expect

@@ -6,6 +6,6 @@ library from "org-dartlang-test:///main.dart" as main {
       : super dart.core::Object::•()
       ;
     external get x() → dart.core::int;
-    external set x(dart.core::int #externalFieldValue) → void;
+    external set x(synthesized dart.core::int #externalFieldValue) → void;
   }
 }

pkg/front_end/testcases/incremental/no_outline_change_48_ffi.yaml.world.1.expect

@@ -15,19 +15,19 @@ library from "org-dartlang-test:///lib.dart" as lib {
     get y1() → dart.core::int
       return dart.ffi::_loadUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set y1(dart.core::int #externalFieldValue) → void
+    set y1(synthesized dart.core::int #externalFieldValue) → void
       return dart.ffi::_storeUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C8
     get y2() → dart.core::int
       return dart.ffi::_loadUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C12.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set y2(dart.core::int #externalFieldValue) → void
+    set y2(synthesized dart.core::int #externalFieldValue) → void
       return dart.ffi::_storeUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C12.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C13
     get y3() → dart.core::int
       return dart.ffi::_loadUint64(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C16.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C13
-    set y3(dart.core::int #externalFieldValue) → void
+    set y3(synthesized dart.core::int #externalFieldValue) → void
       return dart.ffi::_storeUint64(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C16.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C18
     static get #sizeOf() → dart.core::int*
@@ -52,20 +52,20 @@ library from "org-dartlang-test:///main.dart" as main {
         synthesized dart.core::Object #typedDataBase = this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object};
         synthesized dart.core::int #offset = #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*};
       } =>#typedDataBase is{ForLegacy} dart.ffi::Pointer<dart.ffi::NativeType> ?{dart.core::Object} dart.ffi::_fromAddress<lib::Y>(#typedDataBase.{dart.ffi::Pointer::address}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}) : let synthesized dart.typed_data::TypedData #typedData = dart._internal::unsafeCast<dart.typed_data::TypedData>(#typedDataBase) in #typedData.{dart.typed_data::TypedData::buffer}{dart.typed_data::ByteBuffer}.{dart.typed_data::ByteBuffer::asUint8List}(#typedData.{dart.typed_data::TypedData::offsetInBytes}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}){([dart.core::int, dart.core::int?]) → dart.typed_data::Uint8List});
-    set x1(lib::Y #externalFieldValue) → void
+    set x1(synthesized lib::Y #externalFieldValue) → void
       return dart.ffi::_memCopy(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C9, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     get x2() → lib::Y
       return new lib::Y::#fromTypedDataBase( block {
         synthesized dart.core::Object #typedDataBase = this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object};
         synthesized dart.core::int #offset = #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*};
       } =>#typedDataBase is{ForLegacy} dart.ffi::Pointer<dart.ffi::NativeType> ?{dart.core::Object} dart.ffi::_fromAddress<lib::Y>(#typedDataBase.{dart.ffi::Pointer::address}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}) : let synthesized dart.typed_data::TypedData #typedData = dart._internal::unsafeCast<dart.typed_data::TypedData>(#typedDataBase) in #typedData.{dart.typed_data::TypedData::buffer}{dart.typed_data::ByteBuffer}.{dart.typed_data::ByteBuffer::asUint8List}(#typedData.{dart.typed_data::TypedData::offsetInBytes}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}){([dart.core::int, dart.core::int?]) → dart.typed_data::Uint8List});
-    set x2(lib::Y #externalFieldValue) → void
+    set x2(synthesized lib::Y #externalFieldValue) → void
       return dart.ffi::_memCopy(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C9, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
     get x3() → dart.core::int
       return dart.ffi::_loadUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C28.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set x3(dart.core::int #externalFieldValue) → void
+    set x3(synthesized dart.core::int #externalFieldValue) → void
       return dart.ffi::_storeUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C28.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C18
     static get #sizeOf() → dart.core::int*

pkg/front_end/testcases/incremental/no_outline_change_48_ffi.yaml.world.2.expect

@@ -15,19 +15,19 @@ library from "org-dartlang-test:///lib.dart" as lib {
     get y1() → dart.core::int
       return dart.ffi::_loadUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set y1(dart.core::int #externalFieldValue) → void
+    set y1(synthesized dart.core::int #externalFieldValue) → void
       return dart.ffi::_storeUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C11
     get y3() → dart.core::int
       return dart.ffi::_loadUint64(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C14.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C11
-    set y3(dart.core::int #externalFieldValue) → void
+    set y3(synthesized dart.core::int #externalFieldValue) → void
       return dart.ffi::_storeUint64(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C14.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C8
     get y2() → dart.core::int
       return dart.ffi::_loadUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C17.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set y2(dart.core::int #externalFieldValue) → void
+    set y2(synthesized dart.core::int #externalFieldValue) → void
       return dart.ffi::_storeUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C17.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C19
     static get #sizeOf() → dart.core::int*
@@ -52,20 +52,20 @@ library from "org-dartlang-test:///main.dart" as main {
         synthesized dart.core::Object #typedDataBase = this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object};
         synthesized dart.core::int #offset = #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*};
       } =>#typedDataBase is{ForLegacy} dart.ffi::Pointer<dart.ffi::NativeType> ?{dart.core::Object} dart.ffi::_fromAddress<lib::Y>(#typedDataBase.{dart.ffi::Pointer::address}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}) : let synthesized dart.typed_data::TypedData #typedData = dart._internal::unsafeCast<dart.typed_data::TypedData>(#typedDataBase) in #typedData.{dart.typed_data::TypedData::buffer}{dart.typed_data::ByteBuffer}.{dart.typed_data::ByteBuffer::asUint8List}(#typedData.{dart.typed_data::TypedData::offsetInBytes}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}){([dart.core::int, dart.core::int?]) → dart.typed_data::Uint8List});
-    set x1(lib::Y #externalFieldValue) → void
+    set x1(synthesized lib::Y #externalFieldValue) → void
       return dart.ffi::_memCopy(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C9, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     get x2() → lib::Y
       return new lib::Y::#fromTypedDataBase( block {
         synthesized dart.core::Object #typedDataBase = this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object};
         synthesized dart.core::int #offset = #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*};
       } =>#typedDataBase is{ForLegacy} dart.ffi::Pointer<dart.ffi::NativeType> ?{dart.core::Object} dart.ffi::_fromAddress<lib::Y>(#typedDataBase.{dart.ffi::Pointer::address}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}) : let synthesized dart.typed_data::TypedData #typedData = dart._internal::unsafeCast<dart.typed_data::TypedData>(#typedDataBase) in #typedData.{dart.typed_data::TypedData::buffer}{dart.typed_data::ByteBuffer}.{dart.typed_data::ByteBuffer::asUint8List}(#typedData.{dart.typed_data::TypedData::offsetInBytes}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}){([dart.core::int, dart.core::int?]) → dart.typed_data::Uint8List});
-    set x2(lib::Y #externalFieldValue) → void
+    set x2(synthesized lib::Y #externalFieldValue) → void
       return dart.ffi::_memCopy(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C9, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
     get x3() → dart.core::int
       return dart.ffi::_loadUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C28.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set x3(dart.core::int #externalFieldValue) → void
+    set x3(synthesized dart.core::int #externalFieldValue) → void
       return dart.ffi::_storeUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C28.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C19
     static get #sizeOf() → dart.core::int*

pkg/front_end/testcases/incremental/no_outline_change_49_ffi.yaml.world.1.expect

@@ -15,19 +15,19 @@ library from "org-dartlang-test:///lib.dart" as lib {
     get y1() → dart.core::int
       return dart.ffi::_loadUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set y1(dart.core::int #externalFieldValue) → void
+    set y1(synthesized dart.core::int #externalFieldValue) → void
       return dart.ffi::_storeUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C8
     get y2() → dart.core::int
       return dart.ffi::_loadUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C12.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set y2(dart.core::int #externalFieldValue) → void
+    set y2(synthesized dart.core::int #externalFieldValue) → void
       return dart.ffi::_storeUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C12.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C13
     get y3() → dart.core::int
       return dart.ffi::_loadUint64(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C16.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C13
-    set y3(dart.core::int #externalFieldValue) → void
+    set y3(synthesized dart.core::int #externalFieldValue) → void
       return dart.ffi::_storeUint64(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C16.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C18
     static get #sizeOf() → dart.core::int*
@@ -52,20 +52,20 @@ library from "org-dartlang-test:///main.dart" as main {
         synthesized dart.core::Object #typedDataBase = this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object};
         synthesized dart.core::int #offset = #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*};
       } =>#typedDataBase is{ForLegacy} dart.ffi::Pointer<dart.ffi::NativeType> ?{dart.core::Object} dart.ffi::_fromAddress<lib::Y>(#typedDataBase.{dart.ffi::Pointer::address}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}) : let synthesized dart.typed_data::TypedData #typedData = dart._internal::unsafeCast<dart.typed_data::TypedData>(#typedDataBase) in #typedData.{dart.typed_data::TypedData::buffer}{dart.typed_data::ByteBuffer}.{dart.typed_data::ByteBuffer::asUint8List}(#typedData.{dart.typed_data::TypedData::offsetInBytes}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}){([dart.core::int, dart.core::int?]) → dart.typed_data::Uint8List});
-    set x1(lib::Y #externalFieldValue) → void
+    set x1(synthesized lib::Y #externalFieldValue) → void
       return dart.ffi::_memCopy(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C9, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     get x2() → lib::Y
       return new lib::Y::#fromTypedDataBase( block {
         synthesized dart.core::Object #typedDataBase = this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object};
         synthesized dart.core::int #offset = #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*};
       } =>#typedDataBase is{ForLegacy} dart.ffi::Pointer<dart.ffi::NativeType> ?{dart.core::Object} dart.ffi::_fromAddress<lib::Y>(#typedDataBase.{dart.ffi::Pointer::address}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}) : let synthesized dart.typed_data::TypedData #typedData = dart._internal::unsafeCast<dart.typed_data::TypedData>(#typedDataBase) in #typedData.{dart.typed_data::TypedData::buffer}{dart.typed_data::ByteBuffer}.{dart.typed_data::ByteBuffer::asUint8List}(#typedData.{dart.typed_data::TypedData::offsetInBytes}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}){([dart.core::int, dart.core::int?]) → dart.typed_data::Uint8List});
-    set x2(lib::Y #externalFieldValue) → void
+    set x2(synthesized lib::Y #externalFieldValue) → void
       return dart.ffi::_memCopy(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C9, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
     get x3() → dart.core::int
       return dart.ffi::_loadUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C28.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set x3(dart.core::int #externalFieldValue) → void
+    set x3(synthesized dart.core::int #externalFieldValue) → void
       return dart.ffi::_storeUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C28.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C18
     static get #sizeOf() → dart.core::int*

pkg/front_end/testcases/incremental/no_outline_change_49_ffi.yaml.world.2.expect

@@ -15,19 +15,19 @@ library from "org-dartlang-test:///lib.dart" as lib {
     get y1() → dart.core::int
       return dart.ffi::_loadUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set y1(dart.core::int #externalFieldValue) → void
+    set y1(synthesized dart.core::int #externalFieldValue) → void
       return dart.ffi::_storeUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C11
     get y3() → dart.core::int
       return dart.ffi::_loadUint64(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C14.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C11
-    set y3(dart.core::int #externalFieldValue) → void
+    set y3(synthesized dart.core::int #externalFieldValue) → void
       return dart.ffi::_storeUint64(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C14.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C8
     get y2() → dart.core::int
       return dart.ffi::_loadUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C17.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set y2(dart.core::int #externalFieldValue) → void
+    set y2(synthesized dart.core::int #externalFieldValue) → void
       return dart.ffi::_storeUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C17.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C19
     static get #sizeOf() → dart.core::int*
@@ -52,20 +52,20 @@ library from "org-dartlang-test:///main.dart" as main {
         synthesized dart.core::Object #typedDataBase = this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object};
         synthesized dart.core::int #offset = #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*};
       } =>#typedDataBase is{ForLegacy} dart.ffi::Pointer<dart.ffi::NativeType> ?{dart.core::Object} dart.ffi::_fromAddress<lib::Y>(#typedDataBase.{dart.ffi::Pointer::address}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}) : let synthesized dart.typed_data::TypedData #typedData = dart._internal::unsafeCast<dart.typed_data::TypedData>(#typedDataBase) in #typedData.{dart.typed_data::TypedData::buffer}{dart.typed_data::ByteBuffer}.{dart.typed_data::ByteBuffer::asUint8List}(#typedData.{dart.typed_data::TypedData::offsetInBytes}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}){([dart.core::int, dart.core::int?]) → dart.typed_data::Uint8List});
-    set x1(lib::Y #externalFieldValue) → void
+    set x1(synthesized lib::Y #externalFieldValue) → void
       return dart.ffi::_memCopy(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C9, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     get x2() → lib::Y
       return new lib::Y::#fromTypedDataBase( block {
         synthesized dart.core::Object #typedDataBase = this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object};
         synthesized dart.core::int #offset = #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*};
       } =>#typedDataBase is{ForLegacy} dart.ffi::Pointer<dart.ffi::NativeType> ?{dart.core::Object} dart.ffi::_fromAddress<lib::Y>(#typedDataBase.{dart.ffi::Pointer::address}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}) : let synthesized dart.typed_data::TypedData #typedData = dart._internal::unsafeCast<dart.typed_data::TypedData>(#typedDataBase) in #typedData.{dart.typed_data::TypedData::buffer}{dart.typed_data::ByteBuffer}.{dart.typed_data::ByteBuffer::asUint8List}(#typedData.{dart.typed_data::TypedData::offsetInBytes}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}){([dart.core::int, dart.core::int?]) → dart.typed_data::Uint8List});
-    set x2(lib::Y #externalFieldValue) → void
+    set x2(synthesized lib::Y #externalFieldValue) → void
       return dart.ffi::_memCopy(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C9, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
     get x3() → dart.core::int
       return dart.ffi::_loadUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C28.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set x3(dart.core::int #externalFieldValue) → void
+    set x3(synthesized dart.core::int #externalFieldValue) → void
       return dart.ffi::_storeUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C28.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C19
     static get #sizeOf() → dart.core::int*

pkg/front_end/testcases/incremental/no_outline_change_50_ffi.yaml.world.1.expect

@@ -15,19 +15,19 @@ library from "org-dartlang-test:///lib.dart" as lib {
     get y1() → dart.core::int
       return dart.ffi::_loadUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set y1(dart.core::int #externalFieldValue) → void
+    set y1(synthesized dart.core::int #externalFieldValue) → void
       return dart.ffi::_storeUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C8
     get y2() → dart.core::int
       return dart.ffi::_loadUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C12.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set y2(dart.core::int #externalFieldValue) → void
+    set y2(synthesized dart.core::int #externalFieldValue) → void
       return dart.ffi::_storeUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C12.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C13
     get y3() → dart.core::int
       return dart.ffi::_loadUint64(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C16.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C13
-    set y3(dart.core::int #externalFieldValue) → void
+    set y3(synthesized dart.core::int #externalFieldValue) → void
       return dart.ffi::_storeUint64(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C16.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C18
     static get #sizeOf() → dart.core::int*
@@ -244,20 +244,20 @@ library from "org-dartlang-test:///main.dart" as main {
         synthesized dart.core::Object #typedDataBase = this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object};
         synthesized dart.core::int #offset = #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*};
       } =>#typedDataBase is{ForLegacy} dart.ffi::Pointer<dart.ffi::NativeType> ?{dart.core::Object} dart.ffi::_fromAddress<lib::Y>(#typedDataBase.{dart.ffi::Pointer::address}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}) : let synthesized dart.typed_data::TypedData #typedData = dart._internal::unsafeCast<dart.typed_data::TypedData>(#typedDataBase) in #typedData.{dart.typed_data::TypedData::buffer}{dart.typed_data::ByteBuffer}.{dart.typed_data::ByteBuffer::asUint8List}(#typedData.{dart.typed_data::TypedData::offsetInBytes}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}){([dart.core::int, dart.core::int?]) → dart.typed_data::Uint8List});
-    set x1(lib::Y #externalFieldValue) → void
+    set x1(synthesized lib::Y #externalFieldValue) → void
       return dart.ffi::_memCopy(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C9, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     get x2() → lib::Y
       return new lib::Y::#fromTypedDataBase( block {
         synthesized dart.core::Object #typedDataBase = this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object};
         synthesized dart.core::int #offset = #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*};
       } =>#typedDataBase is{ForLegacy} dart.ffi::Pointer<dart.ffi::NativeType> ?{dart.core::Object} dart.ffi::_fromAddress<lib::Y>(#typedDataBase.{dart.ffi::Pointer::address}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}) : let synthesized dart.typed_data::TypedData #typedData = dart._internal::unsafeCast<dart.typed_data::TypedData>(#typedDataBase) in #typedData.{dart.typed_data::TypedData::buffer}{dart.typed_data::ByteBuffer}.{dart.typed_data::ByteBuffer::asUint8List}(#typedData.{dart.typed_data::TypedData::offsetInBytes}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}){([dart.core::int, dart.core::int?]) → dart.typed_data::Uint8List});
-    set x2(lib::Y #externalFieldValue) → void
+    set x2(synthesized lib::Y #externalFieldValue) → void
       return dart.ffi::_memCopy(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C9, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
     get x3() → dart.core::int
       return dart.ffi::_loadUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C28.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set x3(dart.core::int #externalFieldValue) → void
+    set x3(synthesized dart.core::int #externalFieldValue) → void
       return dart.ffi::_storeUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C28.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C18
     static get #sizeOf() → dart.core::int*

pkg/front_end/testcases/incremental/no_outline_change_50_ffi.yaml.world.2.expect

@@ -15,19 +15,19 @@ library from "org-dartlang-test:///lib.dart" as lib {
     get y1() → dart.core::int
       return dart.ffi::_loadUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set y1(dart.core::int #externalFieldValue) → void
+    set y1(synthesized dart.core::int #externalFieldValue) → void
       return dart.ffi::_storeUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C11
     get y3() → dart.core::int
       return dart.ffi::_loadUint64(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C14.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C11
-    set y3(dart.core::int #externalFieldValue) → void
+    set y3(synthesized dart.core::int #externalFieldValue) → void
       return dart.ffi::_storeUint64(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C14.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C8
     get y2() → dart.core::int
       return dart.ffi::_loadUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C17.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set y2(dart.core::int #externalFieldValue) → void
+    set y2(synthesized dart.core::int #externalFieldValue) → void
       return dart.ffi::_storeUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C17.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C19
     static get #sizeOf() → dart.core::int*
@@ -244,20 +244,20 @@ library from "org-dartlang-test:///main.dart" as main {
         synthesized dart.core::Object #typedDataBase = this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object};
         synthesized dart.core::int #offset = #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*};
       } =>#typedDataBase is{ForLegacy} dart.ffi::Pointer<dart.ffi::NativeType> ?{dart.core::Object} dart.ffi::_fromAddress<lib::Y>(#typedDataBase.{dart.ffi::Pointer::address}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}) : let synthesized dart.typed_data::TypedData #typedData = dart._internal::unsafeCast<dart.typed_data::TypedData>(#typedDataBase) in #typedData.{dart.typed_data::TypedData::buffer}{dart.typed_data::ByteBuffer}.{dart.typed_data::ByteBuffer::asUint8List}(#typedData.{dart.typed_data::TypedData::offsetInBytes}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}){([dart.core::int, dart.core::int?]) → dart.typed_data::Uint8List});
-    set x1(lib::Y #externalFieldValue) → void
+    set x1(synthesized lib::Y #externalFieldValue) → void
       return dart.ffi::_memCopy(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C10.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C9, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     get x2() → lib::Y
       return new lib::Y::#fromTypedDataBase( block {
         synthesized dart.core::Object #typedDataBase = this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object};
         synthesized dart.core::int #offset = #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*};
       } =>#typedDataBase is{ForLegacy} dart.ffi::Pointer<dart.ffi::NativeType> ?{dart.core::Object} dart.ffi::_fromAddress<lib::Y>(#typedDataBase.{dart.ffi::Pointer::address}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}) : let synthesized dart.typed_data::TypedData #typedData = dart._internal::unsafeCast<dart.typed_data::TypedData>(#typedDataBase) in #typedData.{dart.typed_data::TypedData::buffer}{dart.typed_data::ByteBuffer}.{dart.typed_data::ByteBuffer::asUint8List}(#typedData.{dart.typed_data::TypedData::offsetInBytes}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}){([dart.core::int, dart.core::int?]) → dart.typed_data::Uint8List});
-    set x2(lib::Y #externalFieldValue) → void
+    set x2(synthesized lib::Y #externalFieldValue) → void
       return dart.ffi::_memCopy(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C9, #C21.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
     get x3() → dart.core::int
       return dart.ffi::_loadUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C28.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C8
-    set x3(dart.core::int #externalFieldValue) → void
+    set x3(synthesized dart.core::int #externalFieldValue) → void
       return dart.ffi::_storeUint8(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C28.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue);
     @#C19
     static get #sizeOf() → dart.core::int*

pkg/front_end/testcases/incremental/regress_46004.yaml.world.1.expect

@@ -13,7 +13,7 @@ library from "org-dartlang-test:///lib.dart" as lib {
       ;
     get lpVtbl() → dart.ffi::Pointer<dart.ffi::IntPtr>
       return dart.ffi::_fromAddress<dart.ffi::IntPtr>(dart.ffi::_loadAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C8.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}));
-    set lpVtbl(dart.ffi::Pointer<dart.ffi::IntPtr> #externalFieldValue) → void
+    set lpVtbl(synthesized dart.ffi::Pointer<dart.ffi::IntPtr> #externalFieldValue) → void
       return dart.ffi::_storeAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C8.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::Pointer::address}{dart.core::int});
     get vtable() → dart.ffi::Pointer<dart.ffi::IntPtr>
       return dart.ffi::Pointer::fromAddress<dart.ffi::IntPtr>(dart.ffi::_loadAbiSpecificInt<dart.ffi::IntPtr>(this.{lib::COMObject::lpVtbl}{dart.ffi::Pointer<dart.ffi::IntPtr>}, #C7));
@@ -40,7 +40,7 @@ library from "org-dartlang-test:///main.dart" as main {
         synthesized dart.core::Object #typedDataBase = this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object};
         synthesized dart.core::int #offset = #C8.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*};
       } =>#typedDataBase is{ForLegacy} dart.ffi::Pointer<dart.ffi::NativeType> ?{dart.core::Object} dart.ffi::_fromAddress<lib::COMObject>(#typedDataBase.{dart.ffi::Pointer::address}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}) : let synthesized dart.typed_data::TypedData #typedData = dart._internal::unsafeCast<dart.typed_data::TypedData>(#typedDataBase) in #typedData.{dart.typed_data::TypedData::buffer}{dart.typed_data::ByteBuffer}.{dart.typed_data::ByteBuffer::asUint8List}(#typedData.{dart.typed_data::TypedData::offsetInBytes}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}, #C13.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}){([dart.core::int, dart.core::int?]) → dart.typed_data::Uint8List});
-    set xx(lib::COMObject #externalFieldValue) → void
+    set xx(synthesized lib::COMObject #externalFieldValue) → void
       return dart.ffi::_memCopy(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C8.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C7, #C13.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C10
     static get #sizeOf() → dart.core::int*

pkg/front_end/testcases/incremental/regress_46004.yaml.world.2.expect

@@ -13,7 +13,7 @@ library from "org-dartlang-test:///lib.dart" as lib {
       ;
     get lpVtbl() → dart.ffi::Pointer<dart.ffi::IntPtr>
       return dart.ffi::_fromAddress<dart.ffi::IntPtr>(dart.ffi::_loadAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C8.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}));
-    set lpVtbl(dart.ffi::Pointer<dart.ffi::IntPtr> #externalFieldValue) → void
+    set lpVtbl(synthesized dart.ffi::Pointer<dart.ffi::IntPtr> #externalFieldValue) → void
       return dart.ffi::_storeAbiSpecificInt<dart.ffi::IntPtr>(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C8.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::Pointer::address}{dart.core::int});
     get vtable() → dart.ffi::Pointer<dart.ffi::IntPtr>
       return dart.ffi::Pointer::fromAddress<dart.ffi::IntPtr>(dart.ffi::_loadAbiSpecificInt<dart.ffi::IntPtr>(this.{lib::COMObject::lpVtbl}{dart.ffi::Pointer<dart.ffi::IntPtr>}, #C7));
@@ -40,7 +40,7 @@ library from "org-dartlang-test:///main.dart" as main {
         synthesized dart.core::Object #typedDataBase = this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object};
         synthesized dart.core::int #offset = #C8.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*};
       } =>#typedDataBase is{ForLegacy} dart.ffi::Pointer<dart.ffi::NativeType> ?{dart.core::Object} dart.ffi::_fromAddress<lib::COMObject>(#typedDataBase.{dart.ffi::Pointer::address}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}) : let synthesized dart.typed_data::TypedData #typedData = dart._internal::unsafeCast<dart.typed_data::TypedData>(#typedDataBase) in #typedData.{dart.typed_data::TypedData::buffer}{dart.typed_data::ByteBuffer}.{dart.typed_data::ByteBuffer::asUint8List}(#typedData.{dart.typed_data::TypedData::offsetInBytes}{dart.core::int}.{dart.core::num::+}(#offset){(dart.core::num) → dart.core::num}, #C13.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}){([dart.core::int, dart.core::int?]) → dart.typed_data::Uint8List});
-    set xx(lib::COMObject #externalFieldValue) → void
+    set xx(synthesized lib::COMObject #externalFieldValue) → void
       return dart.ffi::_memCopy(this.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C8.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*}, #externalFieldValue.{dart.ffi::_Compound::_typedDataBase}{dart.core::Object}, #C7, #C13.{dart.core::List::[]}(dart.ffi::_abi()){(dart.core::int) → dart.core::int*});
     @#C10
     static get #sizeOf() → dart.core::int*

pkg/front_end/testcases/inference_update_2/abstract_field.dart.strong.expect

@@ -8,7 +8,7 @@ abstract class C extends core::Object {
     ;
   abstract get _f1() → core::int?;
   abstract get _f2() → core::int?;
-  abstract set _f2(core::int? #externalFieldValue) → void;
+  abstract set _f2(synthesized core::int? #externalFieldValue) → void;
 }
 class D extends core::Object {
   final field core::int? _f1;

pkg/front_end/testcases/inference_update_2/abstract_field.dart.strong.transformed.expect

@@ -8,7 +8,7 @@ abstract class C extends core::Object {
     ;
   abstract get _f1() → core::int?;
   abstract get _f2() → core::int?;
-  abstract set _f2(core::int? #externalFieldValue) → void;
+  abstract set _f2(synthesized core::int? #externalFieldValue) → void;
 }
 class D extends core::Object {
   final field core::int? _f1;

pkg/front_end/testcases/inference_update_2/abstract_field.dart.weak.expect

@@ -8,7 +8,7 @@ abstract class C extends core::Object {
     ;
   abstract get _f1() → core::int?;
   abstract get _f2() → core::int?;
-  abstract set _f2(core::int? #externalFieldValue) → void;
+  abstract set _f2(synthesized core::int? #externalFieldValue) → void;
 }
 class D extends core::Object {
   final field core::int? _f1;

pkg/front_end/testcases/inference_update_2/abstract_field.dart.weak.modular.expect

@@ -8,7 +8,7 @@ abstract class C extends core::Object {
     ;
   abstract get _f1() → core::int?;
   abstract get _f2() → core::int?;
-  abstract set _f2(core::int? #externalFieldValue) → void;
+  abstract set _f2(synthesized core::int? #externalFieldValue) → void;
 }
 class D extends core::Object {
   final field core::int? _f1;

pkg/front_end/testcases/inference_update_2/abstract_field.dart.weak.outline.expect

@@ -7,7 +7,7 @@ abstract class C extends core::Object {
     ;
   abstract get _f1() → core::int?;
   abstract get _f2() → core::int?;
-  abstract set _f2(core::int? #externalFieldValue) → void;
+  abstract set _f2(synthesized core::int? #externalFieldValue) → void;
 }
 class D extends core::Object {
   final field core::int? _f1;

pkg/front_end/testcases/inference_update_2/abstract_field.dart.weak.transformed.expect

@@ -8,7 +8,7 @@ abstract class C extends core::Object {
     ;
   abstract get _f1() → core::int?;
   abstract get _f2() → core::int?;
-  abstract set _f2(core::int? #externalFieldValue) → void;
+  abstract set _f2(synthesized core::int? #externalFieldValue) → void;
 }
 class D extends core::Object {
   final field core::int? _f1;

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

@@ -199,32 +199,32 @@ Try removing the field initializer or the 'abstract' keyword from the field decl
                                    ^^^^^^^^^^^^^^^^^"
     ;
   abstract get fieldWithInitializer() → core::int;
-  abstract set fieldWithInitializer(core::int #externalFieldValue) → void;
+  abstract set fieldWithInitializer(synthesized core::int #externalFieldValue) → void;
   abstract get initializedField1() → core::int;
-  abstract set initializedField1(core::int #externalFieldValue) → void;
+  abstract set initializedField1(synthesized core::int #externalFieldValue) → void;
   abstract get initializedField2() → core::int;
-  abstract set initializedField2(core::int #externalFieldValue) → void;
+  abstract set initializedField2(synthesized core::int #externalFieldValue) → void;
   external get externalInstanceField1() → core::int;
-  external set externalInstanceField1(core::int #externalFieldValue) → void;
+  external set externalInstanceField1(synthesized core::int #externalFieldValue) → void;
   external get externalFinalInstanceField1() → core::int;
   external get externalCovariantInstanceField1() → core::num;
-  external set externalCovariantInstanceField1(covariant-by-declaration core::num #externalFieldValue) → void;
+  external set externalCovariantInstanceField1(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
   external get externalInstanceField2() → core::int;
-  external set externalInstanceField2(core::int #externalFieldValue) → void;
+  external set externalInstanceField2(synthesized core::int #externalFieldValue) → void;
   external get externalFinalInstanceField2() → core::int;
   external get externalCovariantInstanceField2() → core::num;
-  external set externalCovariantInstanceField2(covariant-by-declaration core::num #externalFieldValue) → void;
+  external set externalCovariantInstanceField2(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
   external get externalLateInstanceField() → core::int;
-  external set externalLateInstanceField(core::int #externalFieldValue) → void;
+  external set externalLateInstanceField(synthesized core::int #externalFieldValue) → void;
 }
 abstract class B extends core::Object /*isMixinDeclaration*/  {
   static field core::int staticField = null;
   static final field core::int finalStaticField = null;
   external get externalInstanceField() → core::int;
-  external set externalInstanceField(core::int #externalFieldValue) → void;
+  external set externalInstanceField(synthesized core::int #externalFieldValue) → void;
   external get externalFinalInstanceField() → core::int;
   external get externalCovariantInstanceField() → core::num;
-  external set externalCovariantInstanceField(covariant-by-declaration core::num #externalFieldValue) → void;
+  external set externalCovariantInstanceField(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
 }
 extension Extension on self::A {
   get extensionInstanceField = get self::Extension|extensionInstanceField;
@@ -239,7 +239,7 @@ static const field core::int constField = #C1;
 static field core::int Extension|extensionStaticField = 0;
 static final field core::int Extension|finalExtensionStaticField = 0;
 static abstract extension-member get Extension|extensionInstanceField() → core::int;
-static abstract extension-member set Extension|extensionInstanceField(core::int #externalFieldValue) → void;
+static abstract extension-member set Extension|extensionInstanceField(synthesized core::int #externalFieldValue) → void;
 static abstract extension-member get Extension|finalExtensionInstanceField() → core::int;
 static method main() → dynamic {}
 

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

@@ -199,32 +199,32 @@ Try removing the field initializer or the 'abstract' keyword from the field decl
                                    ^^^^^^^^^^^^^^^^^"
     ;
   abstract get fieldWithInitializer() → core::int;
-  abstract set fieldWithInitializer(core::int #externalFieldValue) → void;
+  abstract set fieldWithInitializer(synthesized core::int #externalFieldValue) → void;
   abstract get initializedField1() → core::int;
-  abstract set initializedField1(core::int #externalFieldValue) → void;
+  abstract set initializedField1(synthesized core::int #externalFieldValue) → void;
   abstract get initializedField2() → core::int;
-  abstract set initializedField2(core::int #externalFieldValue) → void;
+  abstract set initializedField2(synthesized core::int #externalFieldValue) → void;
   external get externalInstanceField1() → core::int;
-  external set externalInstanceField1(core::int #externalFieldValue) → void;
+  external set externalInstanceField1(synthesized core::int #externalFieldValue) → void;
   external get externalFinalInstanceField1() → core::int;
   external get externalCovariantInstanceField1() → core::num;
-  external set externalCovariantInstanceField1(covariant-by-declaration core::num #externalFieldValue) → void;
+  external set externalCovariantInstanceField1(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
   external get externalInstanceField2() → core::int;
-  external set externalInstanceField2(core::int #externalFieldValue) → void;
+  external set externalInstanceField2(synthesized core::int #externalFieldValue) → void;
   external get externalFinalInstanceField2() → core::int;
   external get externalCovariantInstanceField2() → core::num;
-  external set externalCovariantInstanceField2(covariant-by-declaration core::num #externalFieldValue) → void;
+  external set externalCovariantInstanceField2(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
   external get externalLateInstanceField() → core::int;
-  external set externalLateInstanceField(core::int #externalFieldValue) → void;
+  external set externalLateInstanceField(synthesized core::int #externalFieldValue) → void;
 }
 abstract class B extends core::Object /*isMixinDeclaration*/  {
   static field core::int staticField = null;
   static final field core::int finalStaticField = null;
   external get externalInstanceField() → core::int;
-  external set externalInstanceField(core::int #externalFieldValue) → void;
+  external set externalInstanceField(synthesized core::int #externalFieldValue) → void;
   external get externalFinalInstanceField() → core::int;
   external get externalCovariantInstanceField() → core::num;
-  external set externalCovariantInstanceField(covariant-by-declaration core::num #externalFieldValue) → void;
+  external set externalCovariantInstanceField(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
 }
 extension Extension on self::A {
   get extensionInstanceField = get self::Extension|extensionInstanceField;
@@ -239,7 +239,7 @@ static const field core::int constField = #C1;
 static field core::int Extension|extensionStaticField = 0;
 static final field core::int Extension|finalExtensionStaticField = 0;
 static abstract extension-member get Extension|extensionInstanceField() → core::int;
-static abstract extension-member set Extension|extensionInstanceField(core::int #externalFieldValue) → void;
+static abstract extension-member set Extension|extensionInstanceField(synthesized core::int #externalFieldValue) → void;
 static abstract extension-member get Extension|finalExtensionInstanceField() → core::int;
 static method main() → dynamic {}
 

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

@@ -199,32 +199,32 @@ Try removing the field initializer or the 'abstract' keyword from the field decl
                                    ^^^^^^^^^^^^^^^^^"
     ;
   abstract get fieldWithInitializer() → core::int;
-  abstract set fieldWithInitializer(core::int #externalFieldValue) → void;
+  abstract set fieldWithInitializer(synthesized core::int #externalFieldValue) → void;
   abstract get initializedField1() → core::int;
-  abstract set initializedField1(core::int #externalFieldValue) → void;
+  abstract set initializedField1(synthesized core::int #externalFieldValue) → void;
   abstract get initializedField2() → core::int;
-  abstract set initializedField2(core::int #externalFieldValue) → void;
+  abstract set initializedField2(synthesized core::int #externalFieldValue) → void;
   external get externalInstanceField1() → core::int;
-  external set externalInstanceField1(core::int #externalFieldValue) → void;
+  external set externalInstanceField1(synthesized core::int #externalFieldValue) → void;
   external get externalFinalInstanceField1() → core::int;
   external get externalCovariantInstanceField1() → core::num;
-  external set externalCovariantInstanceField1(covariant-by-declaration core::num #externalFieldValue) → void;
+  external set externalCovariantInstanceField1(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
   external get externalInstanceField2() → core::int;
-  external set externalInstanceField2(core::int #externalFieldValue) → void;
+  external set externalInstanceField2(synthesized core::int #externalFieldValue) → void;
   external get externalFinalInstanceField2() → core::int;
   external get externalCovariantInstanceField2() → core::num;
-  external set externalCovariantInstanceField2(covariant-by-declaration core::num #externalFieldValue) → void;
+  external set externalCovariantInstanceField2(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
   external get externalLateInstanceField() → core::int;
-  external set externalLateInstanceField(core::int #externalFieldValue) → void;
+  external set externalLateInstanceField(synthesized core::int #externalFieldValue) → void;
 }
 abstract class B extends core::Object /*isMixinDeclaration*/  {
   static field core::int staticField = null;
   static final field core::int finalStaticField = null;
   external get externalInstanceField() → core::int;
-  external set externalInstanceField(core::int #externalFieldValue) → void;
+  external set externalInstanceField(synthesized core::int #externalFieldValue) → void;
   external get externalFinalInstanceField() → core::int;
   external get externalCovariantInstanceField() → core::num;
-  external set externalCovariantInstanceField(covariant-by-declaration core::num #externalFieldValue) → void;
+  external set externalCovariantInstanceField(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
 }
 extension Extension on self::A {
   get extensionInstanceField = get self::Extension|extensionInstanceField;
@@ -239,7 +239,7 @@ static const field core::int constField = #C1;
 static field core::int Extension|extensionStaticField = 0;
 static final field core::int Extension|finalExtensionStaticField = 0;
 static abstract extension-member get Extension|extensionInstanceField() → core::int;
-static abstract extension-member set Extension|extensionInstanceField(core::int #externalFieldValue) → void;
+static abstract extension-member set Extension|extensionInstanceField(synthesized core::int #externalFieldValue) → void;
 static abstract extension-member get Extension|finalExtensionInstanceField() → core::int;
 static method main() → dynamic {}
 

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

@@ -199,32 +199,32 @@ Try removing the field initializer or the 'abstract' keyword from the field decl
                                    ^^^^^^^^^^^^^^^^^"
     ;
   abstract get fieldWithInitializer() → core::int;
-  abstract set fieldWithInitializer(core::int #externalFieldValue) → void;
+  abstract set fieldWithInitializer(synthesized core::int #externalFieldValue) → void;
   abstract get initializedField1() → core::int;
-  abstract set initializedField1(core::int #externalFieldValue) → void;
+  abstract set initializedField1(synthesized core::int #externalFieldValue) → void;
   abstract get initializedField2() → core::int;
-  abstract set initializedField2(core::int #externalFieldValue) → void;
+  abstract set initializedField2(synthesized core::int #externalFieldValue) → void;
   external get externalInstanceField1() → core::int;
-  external set externalInstanceField1(core::int #externalFieldValue) → void;
+  external set externalInstanceField1(synthesized core::int #externalFieldValue) → void;
   external get externalFinalInstanceField1() → core::int;
   external get externalCovariantInstanceField1() → core::num;
-  external set externalCovariantInstanceField1(covariant-by-declaration core::num #externalFieldValue) → void;
+  external set externalCovariantInstanceField1(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
   external get externalInstanceField2() → core::int;
-  external set externalInstanceField2(core::int #externalFieldValue) → void;
+  external set externalInstanceField2(synthesized core::int #externalFieldValue) → void;
   external get externalFinalInstanceField2() → core::int;
   external get externalCovariantInstanceField2() → core::num;
-  external set externalCovariantInstanceField2(covariant-by-declaration core::num #externalFieldValue) → void;
+  external set externalCovariantInstanceField2(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
   external get externalLateInstanceField() → core::int;
-  external set externalLateInstanceField(core::int #externalFieldValue) → void;
+  external set externalLateInstanceField(synthesized core::int #externalFieldValue) → void;
 }
 abstract class B extends core::Object /*isMixinDeclaration*/  {
   static field core::int staticField = null;
   static final field core::int finalStaticField = null;
   external get externalInstanceField() → core::int;
-  external set externalInstanceField(core::int #externalFieldValue) → void;
+  external set externalInstanceField(synthesized core::int #externalFieldValue) → void;
   external get externalFinalInstanceField() → core::int;
   external get externalCovariantInstanceField() → core::num;
-  external set externalCovariantInstanceField(covariant-by-declaration core::num #externalFieldValue) → void;
+  external set externalCovariantInstanceField(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
 }
 extension Extension on self::A {
   get extensionInstanceField = get self::Extension|extensionInstanceField;
@@ -239,7 +239,7 @@ static const field core::int constField = #C1;
 static field core::int Extension|extensionStaticField = 0;
 static final field core::int Extension|finalExtensionStaticField = 0;
 static abstract extension-member get Extension|extensionInstanceField() → core::int;
-static abstract extension-member set Extension|extensionInstanceField(core::int #externalFieldValue) → void;
+static abstract extension-member set Extension|extensionInstanceField(synthesized core::int #externalFieldValue) → void;
 static abstract extension-member get Extension|finalExtensionInstanceField() → core::int;
 static method main() → dynamic {}
 

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

@@ -167,32 +167,32 @@ abstract class A extends core::Object {
   constructor •(core::int initializedField1) → self::A
     ;
   abstract get fieldWithInitializer() → core::int;
-  abstract set fieldWithInitializer(core::int #externalFieldValue) → void;
+  abstract set fieldWithInitializer(synthesized core::int #externalFieldValue) → void;
   abstract get initializedField1() → core::int;
-  abstract set initializedField1(core::int #externalFieldValue) → void;
+  abstract set initializedField1(synthesized core::int #externalFieldValue) → void;
   abstract get initializedField2() → core::int;
-  abstract set initializedField2(core::int #externalFieldValue) → void;
+  abstract set initializedField2(synthesized core::int #externalFieldValue) → void;
   external get externalInstanceField1() → core::int;
-  external set externalInstanceField1(core::int #externalFieldValue) → void;
+  external set externalInstanceField1(synthesized core::int #externalFieldValue) → void;
   external get externalFinalInstanceField1() → core::int;
   external get externalCovariantInstanceField1() → core::num;
-  external set externalCovariantInstanceField1(covariant-by-declaration core::num #externalFieldValue) → void;
+  external set externalCovariantInstanceField1(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
   external get externalInstanceField2() → core::int;
-  external set externalInstanceField2(core::int #externalFieldValue) → void;
+  external set externalInstanceField2(synthesized core::int #externalFieldValue) → void;
   external get externalFinalInstanceField2() → core::int;
   external get externalCovariantInstanceField2() → core::num;
-  external set externalCovariantInstanceField2(covariant-by-declaration core::num #externalFieldValue) → void;
+  external set externalCovariantInstanceField2(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
   external get externalLateInstanceField() → core::int;
-  external set externalLateInstanceField(core::int #externalFieldValue) → void;
+  external set externalLateInstanceField(synthesized core::int #externalFieldValue) → void;
 }
 abstract class B extends core::Object /*isMixinDeclaration*/  {
   static field core::int staticField;
   static final field core::int finalStaticField;
   external get externalInstanceField() → core::int;
-  external set externalInstanceField(core::int #externalFieldValue) → void;
+  external set externalInstanceField(synthesized core::int #externalFieldValue) → void;
   external get externalFinalInstanceField() → core::int;
   external get externalCovariantInstanceField() → core::num;
-  external set externalCovariantInstanceField(covariant-by-declaration core::num #externalFieldValue) → void;
+  external set externalCovariantInstanceField(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
 }
 extension Extension on self::A {
   get extensionInstanceField = get self::Extension|extensionInstanceField;
@@ -207,7 +207,7 @@ static const field core::int constField = 0;
 static field core::int Extension|extensionStaticField;
 static final field core::int Extension|finalExtensionStaticField;
 static abstract extension-member get Extension|extensionInstanceField() → core::int;
-static abstract extension-member set Extension|extensionInstanceField(core::int #externalFieldValue) → void;
+static abstract extension-member set Extension|extensionInstanceField(synthesized core::int #externalFieldValue) → void;
 static abstract extension-member get Extension|finalExtensionInstanceField() → core::int;
 static method main() → dynamic
   ;

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

@@ -199,32 +199,32 @@ Try removing the field initializer or the 'abstract' keyword from the field decl
                                    ^^^^^^^^^^^^^^^^^"
     ;
   abstract get fieldWithInitializer() → core::int;
-  abstract set fieldWithInitializer(core::int #externalFieldValue) → void;
+  abstract set fieldWithInitializer(synthesized core::int #externalFieldValue) → void;
   abstract get initializedField1() → core::int;
-  abstract set initializedField1(core::int #externalFieldValue) → void;
+  abstract set initializedField1(synthesized core::int #externalFieldValue) → void;
   abstract get initializedField2() → core::int;
-  abstract set initializedField2(core::int #externalFieldValue) → void;
+  abstract set initializedField2(synthesized core::int #externalFieldValue) → void;
   external get externalInstanceField1() → core::int;
-  external set externalInstanceField1(core::int #externalFieldValue) → void;
+  external set externalInstanceField1(synthesized core::int #externalFieldValue) → void;
   external get externalFinalInstanceField1() → core::int;
   external get externalCovariantInstanceField1() → core::num;
-  external set externalCovariantInstanceField1(covariant-by-declaration core::num #externalFieldValue) → void;
+  external set externalCovariantInstanceField1(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
   external get externalInstanceField2() → core::int;
-  external set externalInstanceField2(core::int #externalFieldValue) → void;
+  external set externalInstanceField2(synthesized core::int #externalFieldValue) → void;
   external get externalFinalInstanceField2() → core::int;
   external get externalCovariantInstanceField2() → core::num;
-  external set externalCovariantInstanceField2(covariant-by-declaration core::num #externalFieldValue) → void;
+  external set externalCovariantInstanceField2(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
   external get externalLateInstanceField() → core::int;
-  external set externalLateInstanceField(core::int #externalFieldValue) → void;
+  external set externalLateInstanceField(synthesized core::int #externalFieldValue) → void;
 }
 abstract class B extends core::Object /*isMixinDeclaration*/  {
   static field core::int staticField = null;
   static final field core::int finalStaticField = null;
   external get externalInstanceField() → core::int;
-  external set externalInstanceField(core::int #externalFieldValue) → void;
+  external set externalInstanceField(synthesized core::int #externalFieldValue) → void;
   external get externalFinalInstanceField() → core::int;
   external get externalCovariantInstanceField() → core::num;
-  external set externalCovariantInstanceField(covariant-by-declaration core::num #externalFieldValue) → void;
+  external set externalCovariantInstanceField(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
 }
 extension Extension on self::A {
   get extensionInstanceField = get self::Extension|extensionInstanceField;
@@ -239,7 +239,7 @@ static const field core::int constField = #C1;
 static field core::int Extension|extensionStaticField = 0;
 static final field core::int Extension|finalExtensionStaticField = 0;
 static abstract extension-member get Extension|extensionInstanceField() → core::int;
-static abstract extension-member set Extension|extensionInstanceField(core::int #externalFieldValue) → void;
+static abstract extension-member set Extension|extensionInstanceField(synthesized core::int #externalFieldValue) → void;
 static abstract extension-member get Extension|finalExtensionInstanceField() → core::int;
 static method main() → dynamic {}
 

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

@@ -7,16 +7,16 @@ abstract class A extends core::Object {
     : super core::Object::•()
     ;
   abstract get instanceField() → core::int;
-  abstract set instanceField(core::int #externalFieldValue) → void;
+  abstract set instanceField(synthesized core::int #externalFieldValue) → void;
   abstract get finalInstanceField() → core::int;
   abstract get covariantInstanceField() → core::num;
-  abstract set covariantInstanceField(covariant-by-declaration core::num #externalFieldValue) → void;
+  abstract set covariantInstanceField(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
 }
 abstract class B extends core::Object /*isMixinDeclaration*/  {
   abstract get instanceField() → core::int;
-  abstract set instanceField(core::int #externalFieldValue) → void;
+  abstract set instanceField(synthesized core::int #externalFieldValue) → void;
   abstract get finalInstanceField() → core::int;
   abstract get covariantInstanceField() → core::num;
-  abstract set covariantInstanceField(covariant-by-declaration core::num #externalFieldValue) → void;
+  abstract set covariantInstanceField(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
 }
 static method main() → dynamic {}

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

@@ -7,16 +7,16 @@ abstract class A extends core::Object {
     : super core::Object::•()
     ;
   abstract get instanceField() → core::int;
-  abstract set instanceField(core::int #externalFieldValue) → void;
+  abstract set instanceField(synthesized core::int #externalFieldValue) → void;
   abstract get finalInstanceField() → core::int;
   abstract get covariantInstanceField() → core::num;
-  abstract set covariantInstanceField(covariant-by-declaration core::num #externalFieldValue) → void;
+  abstract set covariantInstanceField(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
 }
 abstract class B extends core::Object /*isMixinDeclaration*/  {
   abstract get instanceField() → core::int;
-  abstract set instanceField(core::int #externalFieldValue) → void;
+  abstract set instanceField(synthesized core::int #externalFieldValue) → void;
   abstract get finalInstanceField() → core::int;
   abstract get covariantInstanceField() → core::num;
-  abstract set covariantInstanceField(covariant-by-declaration core::num #externalFieldValue) → void;
+  abstract set covariantInstanceField(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
 }
 static method main() → dynamic {}

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

@@ -7,16 +7,16 @@ abstract class A extends core::Object {
     : super core::Object::•()
     ;
   abstract get instanceField() → core::int;
-  abstract set instanceField(core::int #externalFieldValue) → void;
+  abstract set instanceField(synthesized core::int #externalFieldValue) → void;
   abstract get finalInstanceField() → core::int;
   abstract get covariantInstanceField() → core::num;
-  abstract set covariantInstanceField(covariant-by-declaration core::num #externalFieldValue) → void;
+  abstract set covariantInstanceField(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
 }
 abstract class B extends core::Object /*isMixinDeclaration*/  {
   abstract get instanceField() → core::int;
-  abstract set instanceField(core::int #externalFieldValue) → void;
+  abstract set instanceField(synthesized core::int #externalFieldValue) → void;
   abstract get finalInstanceField() → core::int;
   abstract get covariantInstanceField() → core::num;
-  abstract set covariantInstanceField(covariant-by-declaration core::num #externalFieldValue) → void;
+  abstract set covariantInstanceField(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
 }
 static method main() → dynamic {}

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

@@ -7,16 +7,16 @@ abstract class A extends core::Object {
     : super core::Object::•()
     ;
   abstract get instanceField() → core::int;
-  abstract set instanceField(core::int #externalFieldValue) → void;
+  abstract set instanceField(synthesized core::int #externalFieldValue) → void;
   abstract get finalInstanceField() → core::int;
   abstract get covariantInstanceField() → core::num;
-  abstract set covariantInstanceField(covariant-by-declaration core::num #externalFieldValue) → void;
+  abstract set covariantInstanceField(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
 }
 abstract class B extends core::Object /*isMixinDeclaration*/  {
   abstract get instanceField() → core::int;
-  abstract set instanceField(core::int #externalFieldValue) → void;
+  abstract set instanceField(synthesized core::int #externalFieldValue) → void;
   abstract get finalInstanceField() → core::int;
   abstract get covariantInstanceField() → core::num;
-  abstract set covariantInstanceField(covariant-by-declaration core::num #externalFieldValue) → void;
+  abstract set covariantInstanceField(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
 }
 static method main() → dynamic {}

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

@@ -6,17 +6,17 @@ abstract class A extends core::Object {
   synthetic constructor •() → self::A
     ;
   abstract get instanceField() → core::int;
-  abstract set instanceField(core::int #externalFieldValue) → void;
+  abstract set instanceField(synthesized core::int #externalFieldValue) → void;
   abstract get finalInstanceField() → core::int;
   abstract get covariantInstanceField() → core::num;
-  abstract set covariantInstanceField(covariant-by-declaration core::num #externalFieldValue) → void;
+  abstract set covariantInstanceField(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
 }
 abstract class B extends core::Object /*isMixinDeclaration*/  {
   abstract get instanceField() → core::int;
-  abstract set instanceField(core::int #externalFieldValue) → void;
+  abstract set instanceField(synthesized core::int #externalFieldValue) → void;
   abstract get finalInstanceField() → core::int;
   abstract get covariantInstanceField() → core::num;
-  abstract set covariantInstanceField(covariant-by-declaration core::num #externalFieldValue) → void;
+  abstract set covariantInstanceField(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
 }
 static method main() → dynamic
   ;

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

@@ -7,16 +7,16 @@ abstract class A extends core::Object {
     : super core::Object::•()
     ;
   abstract get instanceField() → core::int;
-  abstract set instanceField(core::int #externalFieldValue) → void;
+  abstract set instanceField(synthesized core::int #externalFieldValue) → void;
   abstract get finalInstanceField() → core::int;
   abstract get covariantInstanceField() → core::num;
-  abstract set covariantInstanceField(covariant-by-declaration core::num #externalFieldValue) → void;
+  abstract set covariantInstanceField(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
 }
 abstract class B extends core::Object /*isMixinDeclaration*/  {
   abstract get instanceField() → core::int;
-  abstract set instanceField(core::int #externalFieldValue) → void;
+  abstract set instanceField(synthesized core::int #externalFieldValue) → void;
   abstract get finalInstanceField() → core::int;
   abstract get covariantInstanceField() → core::num;
-  abstract set covariantInstanceField(covariant-by-declaration core::num #externalFieldValue) → void;
+  abstract set covariantInstanceField(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
 }
 static method main() → dynamic {}

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

@@ -7,16 +7,16 @@ abstract class A extends core::Object {
     : super core::Object::•()
     ;
   abstract get i1() → core::int;
-  abstract set i1(core::int #externalFieldValue) → void;
+  abstract set i1(synthesized core::int #externalFieldValue) → void;
   abstract get i2() → core::int;
-  abstract set i2(core::int #externalFieldValue) → void;
+  abstract set i2(synthesized core::int #externalFieldValue) → void;
   abstract get x() → dynamic;
-  abstract set x(dynamic #externalFieldValue) → void;
+  abstract set x(synthesized dynamic #externalFieldValue) → void;
   abstract get fi() → core::int;
   abstract get fx() → dynamic;
   abstract get cn() → core::num;
-  abstract set cn(covariant-by-declaration core::num #externalFieldValue) → void;
+  abstract set cn(covariant-by-declaration synthesized core::num #externalFieldValue) → void;
   abstract get cx() → dynamic;
-  abstract set cx(covariant-by-declaration dynamic #externalFieldValue) → void;
+  abstract set cx(covariant-by-declaration synthesized dynamic #externalFieldValue) → void;
 }
 static method main() → dynamic {}