commit 9636723fbe38e33f3951f72b72d89fd3c9dd3257
author sgrekhov <sgrekhov@unipro.ru> Mon Jan 20 11:15:56 2020 +0700
committer sgrekhov <sgrekhov@unipro.ru> Mon Jan 20 11:15:56 2020 +0700
tree e3fcffb4e56177f8fe6bccf6bbe7e1ed461ac2bc
parent 6410b370f1742a9f468e07a09893379068b9b5ed

if (t is Object) tests fixed

LanguageFeatures/nnbd/static_errors_A20_t13.dart

diff --git a/LanguageFeatures/nnbd/static_errors_A20_t13.dart b/LanguageFeatures/nnbd/static_errors_A20_t13.dart
index 7a0e118..a1028c1 100644
--- a/LanguageFeatures/nnbd/static_errors_A20_t13.dart
+++ b/LanguageFeatures/nnbd/static_errors_A20_t13.dart
@@ -19,9 +19,7 @@
 }
 class C extends A {}
 
-main() {
-  A? a = A();
-  C c = C();
+test(var a, C c) {
   if (a is Object) {
     a?.toString();              //# 01: static type warning
     a?..toString();             //# 02: static type warning
@@ -29,3 +27,9 @@
     a ??= c;                    //# 04: static type warning
   }
 }
+
+main() {
+  A? a = A();
+  C c = C();
+  test(a, c);
+}
\ No newline at end of file

LanguageFeatures/nnbd/static_errors_A27_t06.dart

diff --git a/LanguageFeatures/nnbd/static_errors_A27_t06.dart b/LanguageFeatures/nnbd/static_errors_A27_t06.dart
index 966732b..15c02a7 100644
--- a/LanguageFeatures/nnbd/static_errors_A27_t06.dart
+++ b/LanguageFeatures/nnbd/static_errors_A27_t06.dart
@@ -17,9 +17,13 @@
 // Requirements=nnbd-strong
 class A {}
 
-main() {
-  A? a = new A();
+test(var a) {
   if (a is Object) {
     a!;     //# 01: static type warning
   }
 }
+
+main() {
+  A? a = new A();
+  test(a);
+}
\ No newline at end of file

LanguageFeatures/nnbd/static_errors_A27_t07.dart

diff --git a/LanguageFeatures/nnbd/static_errors_A27_t07.dart b/LanguageFeatures/nnbd/static_errors_A27_t07.dart
index 9972a7a..9bd8002 100644
--- a/LanguageFeatures/nnbd/static_errors_A27_t07.dart
+++ b/LanguageFeatures/nnbd/static_errors_A27_t07.dart
@@ -19,7 +19,7 @@
 
 main() {
   A? a = new A();
-  if (a is Object) {
+  if (a != null) {
     a!;     //# 01: static type warning
   }
 }