blob: 812e571eb44ef9432546a73f3c7248d2e3950f70 [file] [log] [blame]
// Copyright (c) 2012, 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.
// VMOptions=--enable_type_checks
library Issue1363Test.dart;
import 'regress1363_lib.dart' as lib;
main() {
new C().test();
class C {
late lib.Cup<lib.C> libCup;
late lib.Cup<C> myCup;
test() {
myCup = new lib.Cup<C>(new C());
libCup = new lib.Cup<lib.C>(new lib.C());
C contents = myCup.getContents(); // expect no warning or error
contents = libCup.getContents();
// ^^^^^^^^^^^^^^^^^^^^
// ^
// [cfe] A value of type 'C/*1*/' can't be assigned to a variable of type 'C/*2*/'.