| // Copyright (c) 2020, 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 that an assignment inside a promotion scope defeats the promotion, even |
| // if the assignment fills the scope (there are no intervening syntactic |
| // constructs). |
| |
| class A {} |
| |
| class B extends A {} |
| |
| class C extends A {} |
| |
| // An invocation of the form `checkNotB(x)` verifies that the static type of `x` |
| // is not `B`, since `B` is not assignable to `C`. |
| dynamic checkNotB(C c) => null; |
| |
| conditional([A a]) { |
| a is B ? a = checkNotB(a) : null; |
| } |
| |
| ifStatementWithoutElse([A a]) { |
| if (a is B) a = checkNotB(a); |
| } |
| |
| ifStatementWithElse([A a]) { |
| if (a is B) |
| a = checkNotB(a); |
| else |
| null; |
| } |
| |
| ifElementWithoutElseList([A a]) { |
| [if (a is B) a = checkNotB(a)]; |
| } |
| |
| ifElementWithoutElseSet([A a]) { |
| ({if (a is B) a = checkNotB(a)}); |
| } |
| |
| ifElementWithoutElseMapKey([A a]) { |
| ({if (a is B) a = checkNotB(a): null}); |
| } |
| |
| ifElementWithoutElseMapValue([A a]) { |
| ({if (a is B) null: a = checkNotB(a)}); |
| } |
| |
| ifElementWithElseList([A a]) { |
| [if (a is B) a = checkNotB(a) else null]; |
| } |
| |
| ifElementWithElseSet([A a]) { |
| ({if (a is B) a = checkNotB(a) else null}); |
| } |
| |
| ifElementWithElseMapKey([A a]) { |
| ({if (a is B) a = checkNotB(a): null else null: null}); |
| } |
| |
| ifElementWithElseMapValue([A a]) { |
| ({if (a is B) null: a = checkNotB(a) else null: null}); |
| } |
| |
| logicalAnd([A a]) { |
| a is B && (a = checkNotB(a)); |
| } |
| |
| main() { |
| conditional(); |
| ifStatementWithoutElse(); |
| ifStatementWithElse(); |
| ifElementWithoutElseList(); |
| ifElementWithoutElseSet(); |
| ifElementWithoutElseMapKey(); |
| ifElementWithoutElseMapValue(); |
| ifElementWithElseList(); |
| ifElementWithElseSet(); |
| ifElementWithElseMapKey(); |
| ifElementWithElseMapValue(); |
| logicalAnd(); |
| } |