blob: 05e5c4d8ab25a274038280fa546f88be1cb01b51 [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
/*spec:nnbd-off|prod:nnbd-off.class: A:explicit=[A<int>],needsArgs*/
/*spec:nnbd-sdk|prod:nnbd-sdk.class: A:explicit=[A<int*>*],needsArgs*/
class A<T> {}
class B extends A<int> {}
main() {
new B() is A<int>;
}