| // 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. |
| |
| // Test for static warnings for member access on classes with @proxy annotation. |
| |
| const isFalse = identical(-0.0, 0); |
| |
| const validProxy = isFalse ? null : proxy; |
| const invalidProxy = isFalse ? proxy : null; |
| |
| @validProxy |
| class ValidProxy {} |
| |
| @invalidProxy |
| class InvalidProxy {} |
| |
| main() { |
| try { new InvalidProxy().foo; } catch (e) {} /// 01: static type warning |
| try { new InvalidProxy().foo(); } catch (e) {} /// 02: static type warning |
| |
| try { new ValidProxy().foo; } catch (e) {} /// 03: ok |
| try { new ValidProxy().foo(); } catch (e) {} /// 04: ok |
| } |
