blob: 73bbda4ce5cab1a9f05be67e67a6d20f804c103e [file] [log] [blame]
library;
//
// Problems in library:
//
// pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:14:15: Error: A value of type 'E1' can't be assigned to a variable of type 'Object' because 'E1' is nullable and 'Object' isn't.
// - 'Object' is from 'dart:core'.
// Object v1 = e1; // Error.
// ^
//
// pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:15:8: Error: The value 'null' can't be assigned to a variable of type 'E1' because 'E1' is not nullable.
// e1 = null; // Error.
// ^
//
// pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:18:8: Error: The value 'null' can't be assigned to a variable of type 'E2' because 'E2' is not nullable.
// e2 = null; // Error.
// ^
//
// pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:20:15: Error: A value of type 'E3' can't be assigned to a variable of type 'Object' because 'E3' is nullable and 'Object' isn't.
// - 'Object' is from 'dart:core'.
// Object v3 = e3; // Error.
// ^
//
// pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:21:8: Error: The value 'null' can't be assigned to a variable of type 'E3' because 'E3' is not nullable.
// e3 = null; // Error.
// ^
//
// pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:24:8: Error: The value 'null' can't be assigned to a variable of type 'E4' because 'E4' is not nullable.
// e4 = null; // Error.
// ^
//
// pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:26:15: Error: A value of type 'E5<dynamic>' can't be assigned to a variable of type 'Object' because 'E5<dynamic>' is nullable and 'Object' isn't.
// - 'Object' is from 'dart:core'.
// Object v5 = e5; // Error.
// ^
//
// pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:27:8: Error: The value 'null' can't be assigned to a variable of type 'E5<dynamic>' because 'E5<dynamic>' is not nullable.
// e5 = null; // Error.
// ^
//
// pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:30:8: Error: The value 'null' can't be assigned to a variable of type 'E6<Object>' because 'E6<Object>' is not nullable.
// - 'Object' is from 'dart:core'.
// e6 = null; // Error.
// ^
//
// pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:33:8: Error: The value 'null' can't be assigned to a variable of type 'E7' because 'E7' is not nullable.
// e7 = null; // Error.
// ^
//
// pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:38:15: Error: A value of type 'X1' can't be assigned to a variable of type 'Object' because 'X1' is nullable and 'Object' isn't.
// - 'Object' is from 'dart:core'.
// Object v1 = x1; // Error.
// ^
//
// pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:39:8: Error: The value 'null' can't be assigned to a variable of type 'X1' because 'X1' is not nullable.
// x1 = null; // Error.
// ^
//
// pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:42:8: Error: The value 'null' can't be assigned to a variable of type 'X2' because 'X2' is not nullable.
// x2 = null; // Error.
// ^
//
// pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:44:15: Error: A value of type 'X3' can't be assigned to a variable of type 'Object' because 'X3' is nullable and 'Object' isn't.
// - 'Object' is from 'dart:core'.
// Object v3 = x3; // Error.
// ^
//
// pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:45:8: Error: The value 'null' can't be assigned to a variable of type 'X3' because 'X3' is not nullable.
// x3 = null; // Error.
// ^
//
// pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:48:8: Error: The value 'null' can't be assigned to a variable of type 'X4' because 'X4' is not nullable.
// x4 = null; // Error.
// ^
//
// pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:50:15: Error: A value of type 'X5' can't be assigned to a variable of type 'Object' because 'X5' is nullable and 'Object' isn't.
// - 'Object' is from 'dart:core'.
// Object v5 = x5; // Error.
// ^
//
// pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:51:8: Error: The value 'null' can't be assigned to a variable of type 'X5' because 'X5' is not nullable.
// x5 = null; // Error.
// ^
//
// pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:54:8: Error: The value 'null' can't be assigned to a variable of type 'X6' because 'X6' is not nullable.
// x6 = null; // Error.
// ^
//
// pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:57:8: Error: The value 'null' can't be assigned to a variable of type 'X7' because 'X7' is not nullable.
// x7 = null; // Error.
// ^
//
// pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:62:16: Error: A value of type 'Object?' can't be assigned to a variable of type 'Object' because 'Object?' is nullable and 'Object' isn't.
// - 'Object' is from 'dart:core'.
// Object v12 = v11; // Error.
// ^
//
// pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:67:9: Error: The value 'null' can't be assigned to a variable of type 'Object' because 'Object' is not nullable.
// - 'Object' is from 'dart:core'.
// v21 = null; // Error.
// ^
//
// pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:70:16: Error: A value of type 'Object?' can't be assigned to a variable of type 'Object' because 'Object?' is nullable and 'Object' isn't.
// - 'Object' is from 'dart:core'.
// Object v32 = v31; // Error.
// ^
//
// pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:75:9: Error: The value 'null' can't be assigned to a variable of type 'Object' because 'Object' is not nullable.
// - 'Object' is from 'dart:core'.
// v41 = null; // Error.
// ^
//
// pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:78:16: Error: A value of type 'Object?' can't be assigned to a variable of type 'Object' because 'Object?' is nullable and 'Object' isn't.
// - 'Object' is from 'dart:core'.
// Object v52 = v51; // Error.
// ^
//
// pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:83:9: Error: The value 'null' can't be assigned to a variable of type 'Object' because 'Object' is not nullable.
// - 'Object' is from 'dart:core'.
// v61 = null; // Error.
// ^
//
// pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:87:9: Error: The value 'null' can't be assigned to a variable of type 'Object' because 'Object' is not nullable.
// - 'Object' is from 'dart:core'.
// v71 = null; // Error.
// ^
//
import self as self;
import "dart:core" as core;
extension type E1(core::Object it) {
abstract extension-type-member representation-field get it() core::Object;
constructor = self::E1|constructor#;
constructor tearoff = self::E1|constructor#_#new#tearOff;
}
extension type E2(core::Object it) implements core::Object {
abstract extension-type-member representation-field get it() core::Object;
constructor = self::E2|constructor#;
constructor tearoff = self::E2|constructor#_#new#tearOff;
}
extension type E3(core::Object it) implements self::E1% /* erasure=core::Object, declared=! */ {
abstract extension-type-member representation-field get it() core::Object;
constructor = self::E3|constructor#;
constructor tearoff = self::E3|constructor#_#new#tearOff;
}
extension type E4(core::Object it) implements self::E2 /* erasure=core::Object */ {
abstract extension-type-member representation-field get it() core::Object;
constructor = self::E4|constructor#;
constructor tearoff = self::E4|constructor#_#new#tearOff;
}
extension type E5<X extends core::Object? = dynamic>(X% it) {
abstract extension-type-member representation-field get it() X%;
constructor = self::E5|constructor#;
constructor tearoff = self::E5|constructor#_#new#tearOff;
}
extension type E6<X extends core::Object>(X it) implements core::Object {
abstract extension-type-member representation-field get it() X;
constructor = self::E6|constructor#;
constructor tearoff = self::E6|constructor#_#new#tearOff;
}
extension type E7(core::num it) implements core::num {
abstract extension-type-member representation-field get it() core::num;
constructor = self::E7|constructor#;
constructor tearoff = self::E7|constructor#_#new#tearOff;
}
static extension-type-member method E1|constructor#(core::Object it) → self::E1% /* erasure=core::Object, declared=! */ {
lowered final self::E1% /* erasure=core::Object, declared=! */ #this = it;
return #this;
}
static extension-type-member method E1|constructor#_#new#tearOff(core::Object it) → self::E1% /* erasure=core::Object, declared=! */
return self::E1|constructor#(it);
static extension-type-member method E2|constructor#(core::Object it) → self::E2 /* erasure=core::Object */ {
lowered final self::E2 /* erasure=core::Object */ #this = it;
return #this;
}
static extension-type-member method E2|constructor#_#new#tearOff(core::Object it) → self::E2 /* erasure=core::Object */
return self::E2|constructor#(it);
static extension-type-member method E3|constructor#(core::Object it) → self::E3% /* erasure=core::Object, declared=! */ {
lowered final self::E3% /* erasure=core::Object, declared=! */ #this = it;
return #this;
}
static extension-type-member method E3|constructor#_#new#tearOff(core::Object it) → self::E3% /* erasure=core::Object, declared=! */
return self::E3|constructor#(it);
static extension-type-member method E4|constructor#(core::Object it) → self::E4 /* erasure=core::Object */ {
lowered final self::E4 /* erasure=core::Object */ #this = it;
return #this;
}
static extension-type-member method E4|constructor#_#new#tearOff(core::Object it) → self::E4 /* erasure=core::Object */
return self::E4|constructor#(it);
static extension-type-member method E5|constructor#<X extends core::Object? = dynamic>(self::E5|constructor#::X% it) → self::E5<self::E5|constructor#::X%>% /* erasure=self::E5|constructor#::X%, declared=! */ {
lowered final self::E5<self::E5|constructor#::X%>% /* erasure=self::E5|constructor#::X%, declared=! */ #this = it;
return #this;
}
static extension-type-member method E5|constructor#_#new#tearOff<X extends core::Object? = dynamic>(self::E5|constructor#_#new#tearOff::X% it) → self::E5<self::E5|constructor#_#new#tearOff::X%>% /* erasure=self::E5|constructor#_#new#tearOff::X%, declared=! */
return self::E5|constructor#<self::E5|constructor#_#new#tearOff::X%>(it);
static extension-type-member method E6|constructor#<X extends core::Object>(self::E6|constructor#::X it) → self::E6<self::E6|constructor#::X> /* erasure=self::E6|constructor#::X */ {
lowered final self::E6<self::E6|constructor#::X> /* erasure=self::E6|constructor#::X */ #this = it;
return #this;
}
static extension-type-member method E6|constructor#_#new#tearOff<X extends core::Object>(self::E6|constructor#_#new#tearOff::X it) → self::E6<self::E6|constructor#_#new#tearOff::X> /* erasure=self::E6|constructor#_#new#tearOff::X */
return self::E6|constructor#<self::E6|constructor#_#new#tearOff::X>(it);
static extension-type-member method E7|constructor#(core::num it) → self::E7 /* erasure=core::num */ {
lowered final self::E7 /* erasure=core::num */ #this = it;
return #this;
}
static extension-type-member method E7|constructor#_#new#tearOff(core::num it) → self::E7 /* erasure=core::num */
return self::E7|constructor#(it);
static method test1(self::E1% /* erasure=core::Object, declared=! */ e1, self::E2 /* erasure=core::Object */ e2, self::E3% /* erasure=core::Object, declared=! */ e3, self::E4 /* erasure=core::Object */ e4, self::E5<dynamic>% /* erasure=dynamic, declared=! */ e5, self::E6<core::Object> /* erasure=core::Object */ e6, self::E7 /* erasure=core::num */ e7) dynamic {
core::Object v1 = invalid-expression "pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:14:15: Error: A value of type 'E1' can't be assigned to a variable of type 'Object' because 'E1' is nullable and 'Object' isn't.
- 'Object' is from 'dart:core'.
Object v1 = e1; // Error.
^" in let self::E1% /* erasure=core::Object, declared=! */ #t1 = e1 in #t1 == null ?{core::Object} #t1 as{TypeError} core::Object : #t1{core::Object};
e1 = invalid-expression "pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:15:8: Error: The value 'null' can't be assigned to a variable of type 'E1' because 'E1' is not nullable.
e1 = null; // Error.
^" in let Null #t2 = null in #t2 == null ?{self::E1% /* erasure=core::Object, declared=! */} #t2 as{TypeError} self::E1% /* erasure=core::Object, declared=! */ : #t2{self::E1% /* erasure=core::Object, declared=! */};
core::Object v2 = e2;
e2 = invalid-expression "pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:18:8: Error: The value 'null' can't be assigned to a variable of type 'E2' because 'E2' is not nullable.
e2 = null; // Error.
^" in let Null #t3 = null in #t3 == null ?{self::E2 /* erasure=core::Object */} #t3 as{TypeError} self::E2 /* erasure=core::Object */ : #t3{self::E2 /* erasure=core::Object */};
core::Object v3 = invalid-expression "pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:20:15: Error: A value of type 'E3' can't be assigned to a variable of type 'Object' because 'E3' is nullable and 'Object' isn't.
- 'Object' is from 'dart:core'.
Object v3 = e3; // Error.
^" in let self::E3% /* erasure=core::Object, declared=! */ #t4 = e3 in #t4 == null ?{core::Object} #t4 as{TypeError} core::Object : #t4{core::Object};
e3 = invalid-expression "pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:21:8: Error: The value 'null' can't be assigned to a variable of type 'E3' because 'E3' is not nullable.
e3 = null; // Error.
^" in let Null #t5 = null in #t5 == null ?{self::E3% /* erasure=core::Object, declared=! */} #t5 as{TypeError} self::E3% /* erasure=core::Object, declared=! */ : #t5{self::E3% /* erasure=core::Object, declared=! */};
core::Object v4 = e4;
e4 = invalid-expression "pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:24:8: Error: The value 'null' can't be assigned to a variable of type 'E4' because 'E4' is not nullable.
e4 = null; // Error.
^" in let Null #t6 = null in #t6 == null ?{self::E4 /* erasure=core::Object */} #t6 as{TypeError} self::E4 /* erasure=core::Object */ : #t6{self::E4 /* erasure=core::Object */};
core::Object v5 = invalid-expression "pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:26:15: Error: A value of type 'E5<dynamic>' can't be assigned to a variable of type 'Object' because 'E5<dynamic>' is nullable and 'Object' isn't.
- 'Object' is from 'dart:core'.
Object v5 = e5; // Error.
^" in let self::E5<dynamic>% /* erasure=dynamic, declared=! */ #t7 = e5 in #t7 == null ?{core::Object} #t7 as{TypeError} core::Object : #t7{core::Object};
e5 = invalid-expression "pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:27:8: Error: The value 'null' can't be assigned to a variable of type 'E5<dynamic>' because 'E5<dynamic>' is not nullable.
e5 = null; // Error.
^" in let Null #t8 = null in #t8 == null ?{self::E5<dynamic>% /* erasure=dynamic, declared=! */} #t8 as{TypeError} self::E5<dynamic>% /* erasure=dynamic, declared=! */ : #t8{self::E5<dynamic>% /* erasure=dynamic, declared=! */};
core::Object v6 = e6;
e6 = invalid-expression "pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:30:8: Error: The value 'null' can't be assigned to a variable of type 'E6<Object>' because 'E6<Object>' is not nullable.
- 'Object' is from 'dart:core'.
e6 = null; // Error.
^" in let Null #t9 = null in #t9 == null ?{self::E6<core::Object> /* erasure=core::Object */} #t9 as{TypeError} self::E6<core::Object> /* erasure=core::Object */ : #t9{self::E6<core::Object> /* erasure=core::Object */};
core::Object v7 = e7;
e7 = invalid-expression "pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:33:8: Error: The value 'null' can't be assigned to a variable of type 'E7' because 'E7' is not nullable.
e7 = null; // Error.
^" in let Null #t10 = null in #t10 == null ?{self::E7 /* erasure=core::num */} #t10 as{TypeError} self::E7 /* erasure=core::num */ : #t10{self::E7 /* erasure=core::num */};
}
static method test2<X1 extends self::E1% /* erasure=core::Object, declared=! */, X2 extends self::E2 /* erasure=core::Object */, X3 extends self::E3% /* erasure=core::Object, declared=! */, X4 extends self::E4 /* erasure=core::Object */, X5 extends self::E5<dynamic>% /* erasure=dynamic, declared=! */, X6 extends self::E6<core::Object> /* erasure=core::Object */, X7 extends self::E7 /* erasure=core::num */>(self::test2::X1% x1, self::test2::X2 x2, self::test2::X3% x3, self::test2::X4 x4, self::test2::X5% x5, self::test2::X6 x6, self::test2::X7 x7) dynamic {
core::Object v1 = invalid-expression "pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:38:15: Error: A value of type 'X1' can't be assigned to a variable of type 'Object' because 'X1' is nullable and 'Object' isn't.
- 'Object' is from 'dart:core'.
Object v1 = x1; // Error.
^" in let self::test2::X1% #t11 = x1 in #t11 == null ?{core::Object} #t11 as{TypeError} core::Object : #t11{core::Object};
x1 = invalid-expression "pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:39:8: Error: The value 'null' can't be assigned to a variable of type 'X1' because 'X1' is not nullable.
x1 = null; // Error.
^" in let Null #t12 = null in #t12 == null ?{Never} #t12 as{TypeError} Never : #t12{Never};
core::Object v2 = x2;
x2 = invalid-expression "pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:42:8: Error: The value 'null' can't be assigned to a variable of type 'X2' because 'X2' is not nullable.
x2 = null; // Error.
^" in let Null #t13 = null in #t13 == null ?{Never} #t13 as{TypeError} Never : #t13{Never};
core::Object v3 = invalid-expression "pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:44:15: Error: A value of type 'X3' can't be assigned to a variable of type 'Object' because 'X3' is nullable and 'Object' isn't.
- 'Object' is from 'dart:core'.
Object v3 = x3; // Error.
^" in let self::test2::X3% #t14 = x3 in #t14 == null ?{core::Object} #t14 as{TypeError} core::Object : #t14{core::Object};
x3 = invalid-expression "pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:45:8: Error: The value 'null' can't be assigned to a variable of type 'X3' because 'X3' is not nullable.
x3 = null; // Error.
^" in let Null #t15 = null in #t15 == null ?{Never} #t15 as{TypeError} Never : #t15{Never};
core::Object v4 = x4;
x4 = invalid-expression "pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:48:8: Error: The value 'null' can't be assigned to a variable of type 'X4' because 'X4' is not nullable.
x4 = null; // Error.
^" in let Null #t16 = null in #t16 == null ?{Never} #t16 as{TypeError} Never : #t16{Never};
core::Object v5 = invalid-expression "pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:50:15: Error: A value of type 'X5' can't be assigned to a variable of type 'Object' because 'X5' is nullable and 'Object' isn't.
- 'Object' is from 'dart:core'.
Object v5 = x5; // Error.
^" in let self::test2::X5% #t17 = x5 in #t17 == null ?{core::Object} #t17 as{TypeError} core::Object : #t17{core::Object};
x5 = invalid-expression "pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:51:8: Error: The value 'null' can't be assigned to a variable of type 'X5' because 'X5' is not nullable.
x5 = null; // Error.
^" in let Null #t18 = null in #t18 == null ?{Never} #t18 as{TypeError} Never : #t18{Never};
core::Object v6 = x6;
x6 = invalid-expression "pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:54:8: Error: The value 'null' can't be assigned to a variable of type 'X6' because 'X6' is not nullable.
x6 = null; // Error.
^" in let Null #t19 = null in #t19 == null ?{Never} #t19 as{TypeError} Never : #t19{Never};
core::Object v7 = x7;
x7 = invalid-expression "pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:57:8: Error: The value 'null' can't be assigned to a variable of type 'X7' because 'X7' is not nullable.
x7 = null; // Error.
^" in let Null #t20 = null in #t20 == null ?{Never} #t20 as{TypeError} Never : #t20{Never};
}
static method test3(self::E1% /* erasure=core::Object, declared=! */ e1, self::E2 /* erasure=core::Object */ e2, self::E3% /* erasure=core::Object, declared=! */ e3, self::E4 /* erasure=core::Object */ e4, self::E5<dynamic>% /* erasure=dynamic, declared=! */ e5, self::E6<core::Object> /* erasure=core::Object */ e6, self::E7 /* erasure=core::num */ e7, core::String s, core::bool b) dynamic {
core::Object? v11 = b ?{core::Object?} e1 : s;
core::Object v12 = invalid-expression "pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:62:16: Error: A value of type 'Object?' can't be assigned to a variable of type 'Object' because 'Object?' is nullable and 'Object' isn't.
- 'Object' is from 'dart:core'.
Object v12 = v11; // Error.
^" in let core::Object? #t21 = v11 in #t21 == null ?{core::Object} #t21 as{TypeError} core::Object : #t21{core::Object};
v11 = null;
core::Object v21 = b ?{core::Object} e2 : s;
core::Object v22 = v21;
v21 = invalid-expression "pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:67:9: Error: The value 'null' can't be assigned to a variable of type 'Object' because 'Object' is not nullable.
- 'Object' is from 'dart:core'.
v21 = null; // Error.
^" in let Null #t22 = null in #t22 == null ?{core::Object} #t22 as{TypeError} core::Object : #t22{core::Object};
core::Object? v31 = b ?{core::Object?} e3 : s;
core::Object v32 = invalid-expression "pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:70:16: Error: A value of type 'Object?' can't be assigned to a variable of type 'Object' because 'Object?' is nullable and 'Object' isn't.
- 'Object' is from 'dart:core'.
Object v32 = v31; // Error.
^" in let core::Object? #t23 = v31 in #t23 == null ?{core::Object} #t23 as{TypeError} core::Object : #t23{core::Object};
v31 = null;
core::Object v41 = b ?{core::Object} e4 : s;
core::Object v42 = v41;
v41 = invalid-expression "pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:75:9: Error: The value 'null' can't be assigned to a variable of type 'Object' because 'Object' is not nullable.
- 'Object' is from 'dart:core'.
v41 = null; // Error.
^" in let Null #t24 = null in #t24 == null ?{core::Object} #t24 as{TypeError} core::Object : #t24{core::Object};
core::Object? v51 = b ?{core::Object?} e5 : s;
core::Object v52 = invalid-expression "pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:78:16: Error: A value of type 'Object?' can't be assigned to a variable of type 'Object' because 'Object?' is nullable and 'Object' isn't.
- 'Object' is from 'dart:core'.
Object v52 = v51; // Error.
^" in let core::Object? #t25 = v51 in #t25 == null ?{core::Object} #t25 as{TypeError} core::Object : #t25{core::Object};
v51 = null;
core::Object v61 = b ?{core::Object} e6 : s;
core::Object v62 = v61;
v61 = invalid-expression "pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:83:9: Error: The value 'null' can't be assigned to a variable of type 'Object' because 'Object' is not nullable.
- 'Object' is from 'dart:core'.
v61 = null; // Error.
^" in let Null #t26 = null in #t26 == null ?{core::Object} #t26 as{TypeError} core::Object : #t26{core::Object};
core::Object v71 = b ?{core::Object} e7 : s;
core::Object v72 = v71;
v71 = invalid-expression "pkg/front_end/testcases/extension_types/non_nullable_if_implements_object.dart:87:9: Error: The value 'null' can't be assigned to a variable of type 'Object' because 'Object' is not nullable.
- 'Object' is from 'dart:core'.
v71 = null; // Error.
^" in let Null #t27 = null in #t27 == null ?{core::Object} #t27 as{TypeError} core::Object : #t27{core::Object};
}