blob: 2428a5f9c86de5a99293a0c56cd86512686fc5bb [file] [log] [blame]
// Copyright (c) 2020, 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.
/*library: nnbd=true*/
import "opt_out.dart";
/*class: B:A<int?>,B,Object*/
class B extends A<int?> {
/*member: B.getType:Type* Function()**/
}
/*cfe|cfe:builder.class: C:A<int?>,B,C,Object,out_int*/
/*analyzer.class: C:A<int*>,B,C,Object,out_int*/
class C extends out_int implements B {
/*member: C.getType:Type* Function()**/
}
Type typeOf<X>() => X;
main() {
print(typeOf<int?>() == C().getType());
}