| // 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. | |
| class Base { | |
| int? value1; | |
| int? value2; | |
| } | |
| int? fun() { | |
| Base? a; | |
| // if `a` is `null`, then `a?.value1` evaluates to `null`, so the RHS of the | |
| // `??` will be evaluated. Therefore, we can't promote `a` to non-nullable in | |
| // `a?.value2`. | |
| final b = a?.value1 ?? a?.value2; | |
| return b; | |
| } |