co19/LanguageFeatures/Augmentation-libraries/augmenting_types_A05_t04

[scheglov]

typedef AAlias = A;
<cut>
extension Ext1<T extends A> on D<T> {}
extension Ext2<T extends AAlias> on D<T> {}

and augmentations

augment extension Ext1<T extends A> {
  String get name1 => 'Ext1<$T>';
}
augment extension Ext1<T extends AAlias> {
  String name2() => 'Ext1<$T>';
}
augment extension Ext2<T extends A> {
  String get name1 => 'Ext2<$T>';
}
augment extension Ext2<T extends AAlias> {
  String name2() => 'Ext2<$T>';
}

With (not yet landed) fix to look at all extension members this gives, see below.

Which look as correct errors to me.
extension Ext2<T extends AAlias> on D<T> is the same as extension Ext1<T extends A> on D<T>.

unexpected analysis errors in augmenting_types_A05_t04.dart:
- Line 74, column 35: COMPILE_TIME_ERROR.AMBIGUOUS_EXTENSION_MEMBER_ACCESS
  A member named 'name1' is defined in extension 'Ext1' and extension 'Ext2', and none are more specific.

- Line 75, column 35: COMPILE_TIME_ERROR.AMBIGUOUS_EXTENSION_MEMBER_ACCESS
  A member named 'name2' is defined in extension 'Ext1' and extension 'Ext2', and none are more specific.

- Line 76, column 40: COMPILE_TIME_ERROR.AMBIGUOUS_EXTENSION_MEMBER_ACCESS
  A member named 'name1' is defined in extension 'Ext1' and extension 'Ext2', and none are more specific.

- Line 77, column 40: COMPILE_TIME_ERROR.AMBIGUOUS_EXTENSION_MEMBER_ACCESS
  A member named 'name2' is defined in extension 'Ext1' and extension 'Ext2', and none are more specific.

- Line 78, column 35: COMPILE_TIME_ERROR.AMBIGUOUS_EXTENSION_MEMBER_ACCESS
  A member named 'name1' is defined in extension 'Ext1' and extension 'Ext2', and none are more specific.

- Line 79, column 35: COMPILE_TIME_ERROR.AMBIGUOUS_EXTENSION_MEMBER_ACCESS
  A member named 'name2' is defined in extension 'Ext1' and extension 'Ext2', and none are more specific.

- Line 80, column 40: COMPILE_TIME_ERROR.AMBIGUOUS_EXTENSION_MEMBER_ACCESS
  A member named 'name1' is defined in extension 'Ext1' and extension 'Ext2', and none are more specific.

- Line 81, column 40: COMPILE_TIME_ERROR.AMBIGUOUS_EXTENSION_MEMBER_ACCESS
  A member named 'name2' is defined in extension 'Ext1' and extension 'Ext2', and none are more specific.

--- Re-run this test:
python3 tools/test.py -m release -c dart2analyzer -a arm64 co19/LanguageFeatures/Augmentation-libraries/augmenting_types_A05_t04

[eernstg]

Right, it's a strong hint that we expect the following:

void main() {
  ...
  Expect.equals("Ext1<B>", D<B>().name1);
  ...
  Expect.equals("Ext2<B>", D<B>().name1);
  ...
}

I guess the names could just be something like name11 and name12 in Ext1 and name21 and name22 in Ext2.