| // Copyright (c) 2024, the Dart project authors. Please see the AUTHORS file |
| // for details. All rights reserved. Use of this source code is governed by a |
| // BSD-style license that can be found in the LICENSE file. |
| |
| /// @assertion It is a compile-time error if: |
| /// ... |
| /// - The type parameters of the type augmentation do not match the original |
| /// type's type parameters. This means there must be the same number of type |
| /// parameters with the same bounds and names. |
| /// |
| /// @description Checks that it is not an error if an augmenting type |
| /// declares the same number of type parameters with the same names and bounds |
| /// @author sgrekhov22@gmail.com |
| |
| // SharedOptions=--enable-experiment=macros |
| |
| library augment 'augmenting_types_A05_t04.dart'; |
| |
| augment class C1<T extends A> { |
| String get name1 => 'C1<$T>'; |
| } |
| augment class C1<T extends AAlias> { |
| String name2() => 'C1<$T>'; |
| } |
| augment class C2<T extends A> { |
| String get name1 => 'C2<$T>'; |
| } |
| augment class C2<T extends AAlias> { |
| String name2() => 'C2<$T>'; |
| } |