| OLD | NEW |
| 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 import 'package:expect/expect.dart'; | 5 import 'package:expect/expect.dart'; |
| 6 | 6 |
| 7 f() {} | 7 f() {} |
| 8 const g = 1; | 8 const g = 1; |
| 9 | 9 |
| 10 const identical_ff = identical(f, f); | 10 const identical_ff = identical(f, f); |
| 11 const identical_fg = identical(f, g); | 11 const identical_fg = identical(f, g); |
| 12 const identical_gf = identical(g, f); | 12 const identical_gf = identical(g, f); |
| 13 const identical_gg = identical(g, g); | 13 const identical_gg = identical(g, g); |
| 14 | 14 |
| 15 // Verify proper compile time computation of identical() | 15 // Verify proper compile time computation of identical() |
| 16 const a = const { | 16 const a = const { |
| 17 identical_ff: 0, //# 01: static type warning | 17 identical_ff: 0, //# 01: compile-time error |
| 18 identical_gg: 0, //# 02: static type warning | 18 identical_gg: 0, //# 02: compile-time error |
| 19 true: 0 | 19 true: 0 |
| 20 }; | 20 }; |
| 21 | 21 |
| 22 const b = const { | 22 const b = const { |
| 23 identical_fg: 0, //# 03: static type warning | 23 identical_fg: 0, //# 03: compile-time error |
| 24 identical_gf: 0, //# 04: static type warning | 24 identical_gf: 0, //# 04: compile-time error |
| 25 false: 0 | 25 false: 0 |
| 26 }; | 26 }; |
| 27 | 27 |
| 28 use(x) => x; | 28 use(x) => x; |
| 29 | 29 |
| 30 main() { | 30 main() { |
| 31 use(a); | 31 use(a); |
| 32 use(b); | 32 use(b); |
| 33 | 33 |
| 34 // Verify proper run time computation of identical() | 34 // Verify proper run time computation of identical() |
| 35 Expect.isTrue(identical_ff); //# 05: ok | 35 Expect.isTrue(identical_ff); //# 05: ok |
| 36 Expect.isTrue(identical_gg); //# 06: ok | 36 Expect.isTrue(identical_gg); //# 06: ok |
| 37 Expect.isFalse(identical_fg); //# 07: ok | 37 Expect.isFalse(identical_fg); //# 07: ok |
| 38 Expect.isFalse(identical_gf); //# 08: ok | 38 Expect.isFalse(identical_gf); //# 08: ok |
| 39 } | 39 } |
| OLD | NEW |