#460. Fix null-promotion tests
diff --git a/LanguageFeatures/nnbd/Null_promotion_A01_t06.dart b/LanguageFeatures/nnbd/Null_promotion_A01_t06.dart
new file mode 100644
index 0000000..35ed286
--- /dev/null
+++ b/LanguageFeatures/nnbd/Null_promotion_A01_t06.dart
@@ -0,0 +1,62 @@
+/*
+ * Copyright (c) 2019, 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.
+ */
+/**
+ * @assertion A check of the form [e == null] or of the form [e is Null] where
+ * [e] has static type [T] promotes the type of [e] to [Null] in the [true]
+ * continuation, and to [NonNull(T)] in the [false] continuation.
+ *
+ * @description Check that [e] is promoted to [NonNull(T)] in the [false]
+ * condition.
+ * @author iarkh@unipro.ru
+ * @author sgrekhov@unipro.ru
+ */
+// SharedOptions=--enable-experiment=non-nullable
+
+class A {
+ foo() {}
+}
+
+class B<T> {
+ bar() {}
+}
+
+main() {
+ A? a = new A();
+ if (a == null) {
+ } else {
+ a = null;
+// ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ }
+
+ B? b1 = new B();
+ if (b1 == null) {
+ } else {
+ b1 = null;
+// ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ }
+
+ B<int>? b2 = new B<int>();
+ if (b2 == null) {
+ } else {
+ b2 = null;
+// ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ }
+
+ int? i = 42;
+ if (i == null) {
+ } else {
+ i = null;
+// ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+ }
+}
