blob: 1ce8eae97bb0fe59a057e7b2d8c8c29e59bfccc9 [file] [log] [blame]
// Copyright (c) 2017, 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 test;
class A {
int x = 2;
main() {
var /*@type=A*/ a = new A();
A b = a; // doesn't require down cast
print(a. /*@target=A::x*/ x); // doesn't require dynamic invoke
print(a. /*@target=A::x*/ x /*@target=num::+*/ +
2); // ok to use in bigger expression