blob: ca1408ef916e3e23f5be4e214f67a6d0bb20a53d [file] [log] [blame]
// Copyright (c) 2018, 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.
// @dart = 2.7
import 'package:expect/expect.dart';
/*spec:nnbd-off.class: Class1:*/
/*prod:nnbd-off.class: Class1:*/
class Class1<S> {
/*spec:nnbd-off.member: Class1.:*/
/*prod:nnbd-off.member: Class1.:*/
Class1();
/*member: Class1.method1a:*/
T method1a<T>() => null;
/*member: Class1.method1b:*/
T method1b<T>() => null;
/*spec:nnbd-off.member: Class1.method2:direct,explicit=[method2.T],needsArgs*/
/*prod:nnbd-off.member: Class1.method2:*/
T method2<T>(T t, String s) => t;
}
/*spec:nnbd-off.class: Class2:*/
/*prod:nnbd-off.class: Class2:*/
class Class2<T> {
/*spec:nnbd-off.member: Class2.:*/
/*prod:nnbd-off.member: Class2.:*/
Class2();
}
/*spec:nnbd-off.member: main:*/
/*prod:nnbd-off.member: main:*/
main() {
var c = new Class1<int>();
Expect.isTrue(c.method1a.runtimeType == c.method1b.runtimeType);
Expect.isFalse(c.method1a.runtimeType == c.method2.runtimeType);
new Class2<int>();
}