dart-sdk/tests/language/setter/checked3_test.dart
Robert Nystrom ce90061e27 Migrate language_2/setter to NNBD.
Change-Id: I5c234c68d35d83b0b1f1e299303dd29cf972fdb7
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/150845
Reviewed-by: Nicholas Shahan <nshahan@google.com>
Commit-Queue: Bob Nystrom <rnystrom@google.com>
Auto-Submit: Bob Nystrom <rnystrom@google.com>
2020-06-12 20:47:19 +00:00

32 lines
751 B
Dart

// Copyright (c) 2013, 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.
import "package:expect/expect.dart";
class A<T> {
late T field;
}
class B<T> {
T field = 42 as dynamic;
}
main() {
var a = new A<String>();
dynamic s = "string";
// This assignment is OK.
a.field = s;
dynamic i = 42;
Expect.throwsTypeError(() => a.field = i);
// Throws because the field initializer fails the implicit cast.
Expect.throwsTypeError(() => new B<String>());
// Throws because the assigned value fails the implicit cast.
var b = new B<int>();
Expect.throwsTypeError(() => b.field = s);
}