OLD | NEW |
---|---|
(Empty) | |
1 // Copyright (c) 201, the Dart project authors. Please see the AUTHORS file | |
eernst
2017/07/03 16:36:37
Typo: `2017`.
| |
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. | |
4 // VMOptions=--assert_initializer | |
5 // | |
6 // Dart test program testing assert statements. | |
7 | |
8 import "package:expect/expect.dart"; | |
9 | |
10 class C { | |
11 static bool staticTrue() => true; | |
12 final int x; | |
13 const C(this.x); | |
14 // The expression *is* a compile-time constant, but not a bool value. | |
15 // Static warning, assertion throws which makes it a compile-time error. | |
16 const C.bc02(this.x, y) : assert(staticTrue); //# 01: static type warning | |
eernst
2017/07/03 16:36:37
It's weird that we get a static type warning (at c
eernst
2017/07/04 09:09:20
Next iteration: I'm no longer proposing that we ma
Lasse Reichstein Nielsen
2017/07/10 10:57:02
The interesting thing is that a maltyped and faili
| |
17 } | |
18 | |
19 | |
20 main() { | |
21 var c = const C(1); | |
22 // Assertion fails, so in checked mode it's a compile-time error. | |
23 // Production mode will succeed because the assertion isn't evaluated. | |
eernst
2017/07/03 16:36:37
But then this test will fail by design in producti
Lasse Reichstein Nielsen
2017/07/10 10:57:02
It should be a "static type warning" in production
| |
24 c = const C.bc02(1, 2); //# 01: compile-time error | |
25 if (c.x != 1) throw "non-trivial use of c"; | |
26 } | |
OLD | NEW |