blob: 886bc89ce9fe9824b6cf950eaab008c912360383 [file] [log] [blame]
class C {
C([this._field]);
final Object? _field;
void f([_]) {}
}
extension StaticType<T> on T {
T expectStaticType<R extends Exactly<T>>() {}
}
typedef Exactly<T> = T Function(T);
void fieldsPromotableWithinCascade(C c) {}