| // 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. | |
| import 'dart:core'; | |
| import 'dart:core' as core; | |
| void test(int? x) { | |
| if (core.identical(x, null)) { | |
| x; | |
| } else { | |
| /*nonNullable*/ x; | |
| } | |
| } |