blob: 71fc5fb026df35452b2f3e7da046afca5404e10b [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
// @dart = 2.9
library Issue1363Test.dart;
import 'regress1363_lib.dart' as lib;
main() {
new C().test();
}
class C {
lib.Cup<lib.C> libCup;
lib.Cup<C> myCup;
C();
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();
// ^^^^^^^^^^^^^^^^^^^^
// [analyzer] COMPILE_TIME_ERROR.INVALID_ASSIGNMENT
// ^
// [cfe] A value of type 'C/*1*/' can't be assigned to a variable of type 'C/*2*/'.
}
}