blob: 1d5a95a027f70bff6397be518574220e4fbc165d [file] [log] [blame]
// 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>';
}