| library /*isNonNullableByDefault*/; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/nnbd/issue42758.dart:7:17: Warning: Operand of null-aware operation '...?' has type 'Never' which excludes null. |
| // var l2 = [...?n1]; |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue42758.dart:8:16: Error: Can't spread a value with static type 'Never?'. |
| // var l3 = [...n2]; |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue42758.dart:10:16: Error: Can't spread a value with static type 'Null'. |
| // var l5 = [...n3]; |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue42758.dart:13:17: Warning: Operand of null-aware operation '...?' has type 'Never' which excludes null. |
| // var s2 = {...?n1, n1}; |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue42758.dart:14:16: Error: Can't spread a value with static type 'Never?'. |
| // var s3 = {...n2, n1}; |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue42758.dart:16:16: Error: Can't spread a value with static type 'Null'. |
| // var s5 = {...n3, n1}; |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue42758.dart:19:17: Warning: Operand of null-aware operation '...?' has type 'Never' which excludes null. |
| // var m2 = {...?n1, n1: n1}; |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue42758.dart:20:16: Error: Can't spread a value with static type 'Never?'. |
| // var m3 = {...n2, n1: n1}; |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue42758.dart:22:16: Error: Can't spread a value with static type 'Null'. |
| // var m5 = {...n3, n1: n1}; |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue42758.dart:29:17: Warning: Operand of null-aware operation '...?' has type 'N1' which excludes null. |
| // var l2 = [...?n1]; |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue42758.dart:30:16: Error: Can't spread a value with static type 'N2'. |
| // var l3 = [...n2]; |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue42758.dart:32:16: Error: Can't spread a value with static type 'N3'. |
| // var l5 = [...n3]; |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue42758.dart:35:17: Warning: Operand of null-aware operation '...?' has type 'N1' which excludes null. |
| // var s2 = {...?n1, n1}; |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue42758.dart:36:16: Error: Can't spread a value with static type 'N2'. |
| // var s3 = {...n2, n1}; |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue42758.dart:38:16: Error: Can't spread a value with static type 'N3'. |
| // var s5 = {...n3, n1}; |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue42758.dart:41:17: Warning: Operand of null-aware operation '...?' has type 'N1' which excludes null. |
| // var m2 = {...?n1, n1: n1}; |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue42758.dart:42:16: Error: Can't spread a value with static type 'N2'. |
| // var m3 = {...n2, n1: n1}; |
| // ^ |
| // |
| // pkg/front_end/testcases/nnbd/issue42758.dart:44:16: Error: Can't spread a value with static type 'N3'. |
| // var m5 = {...n3, n1: n1}; |
| // ^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| import "dart:_internal" as _in; |
| import "dart:collection" as col; |
| |
| static method test1(Never n1, Never? n2, Null n3) → dynamic { |
| core::List<Never> l1 = block { |
| final core::List<Never> #t1 = <Never>[]; |
| for (final Never #t2 in let final Never #t3 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")) |
| #t1.{core::List::add}{Invariant}(#t2); |
| } =>#t1; |
| core::List<Never> l2 = block { |
| final core::List<Never> #t4 = <Never>[]; |
| final core::Iterable<Never>? #t5 = let final Never #t6 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`."); |
| if(!#t5.{core::Object::==}(null)) { |
| core::Iterator<Never> :sync-for-iterator = #t5{core::Iterable<Never>}.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final Never #t7 = :sync-for-iterator.{core::Iterator::current}; |
| #t4.{core::List::add}{Invariant}(#t7); |
| } |
| } |
| } =>#t4; |
| core::List<dynamic> l3 = <dynamic>[invalid-expression "pkg/front_end/testcases/nnbd/issue42758.dart:8:16: Error: Can't spread a value with static type 'Never?'. |
| var l3 = [...n2]; |
| ^"]; |
| core::List<Never> l4 = block { |
| final core::List<Never> #t8 = <Never>[]; |
| final core::Iterable<Never>? #t9 = n2; |
| if(!#t9.{core::Object::==}(null)) { |
| core::Iterator<Never> :sync-for-iterator = #t9{core::Iterable<Never>}.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final Never #t10 = :sync-for-iterator.{core::Iterator::current}; |
| #t8.{core::List::add}{Invariant}(#t10); |
| } |
| } |
| } =>#t8; |
| core::List<dynamic> l5 = <dynamic>[invalid-expression "pkg/front_end/testcases/nnbd/issue42758.dart:10:16: Error: Can't spread a value with static type 'Null'. |
| var l5 = [...n3]; |
| ^"]; |
| core::List<Never> l6 = block { |
| final core::List<Never> #t11 = <Never>[]; |
| final core::Iterable<Never>? #t12 = n3; |
| if(!#t12.{core::Object::==}(null)) { |
| core::Iterator<Never> :sync-for-iterator = #t12{core::Iterable<Never>}.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final Never #t13 = :sync-for-iterator.{core::Iterator::current}; |
| #t11.{core::List::add}{Invariant}(#t13); |
| } |
| } |
| } =>#t11; |
| core::Set<Never> s1 = block { |
| final core::Set<Never> #t14 = new col::_CompactLinkedHashSet::•<Never>(); |
| for (final Never #t15 in let final Never #t16 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")) |
| #t14.{core::Set::add}{Invariant}(#t15); |
| #t14.{core::Set::add}{Invariant}(let final Never #t17 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")); |
| } =>#t14; |
| core::Set<Never> s2 = block { |
| final core::Set<Never> #t18 = new col::_CompactLinkedHashSet::•<Never>(); |
| final core::Iterable<Never>? #t19 = let final Never #t20 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`."); |
| if(!#t19.{core::Object::==}(null)) { |
| core::Iterator<Never> :sync-for-iterator = #t19{core::Iterable<Never>}.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final Never #t21 = :sync-for-iterator.{core::Iterator::current}; |
| #t18.{core::Set::add}{Invariant}(#t21); |
| } |
| } |
| #t18.{core::Set::add}{Invariant}(let final Never #t22 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")); |
| } =>#t18; |
| core::Set<dynamic> s3 = block { |
| final core::Set<dynamic> #t23 = new col::_CompactLinkedHashSet::•<dynamic>(); |
| #t23.{core::Set::add}{Invariant}(invalid-expression "pkg/front_end/testcases/nnbd/issue42758.dart:14:16: Error: Can't spread a value with static type 'Never?'. |
| var s3 = {...n2, n1}; |
| ^"); |
| #t23.{core::Set::add}{Invariant}(let final Never #t24 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")); |
| } =>#t23; |
| core::Set<Never> s4 = block { |
| final core::Set<Never> #t25 = new col::_CompactLinkedHashSet::•<Never>(); |
| final core::Iterable<Never>? #t26 = n2; |
| if(!#t26.{core::Object::==}(null)) { |
| core::Iterator<Never> :sync-for-iterator = #t26{core::Iterable<Never>}.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final Never #t27 = :sync-for-iterator.{core::Iterator::current}; |
| #t25.{core::Set::add}{Invariant}(#t27); |
| } |
| } |
| #t25.{core::Set::add}{Invariant}(let final Never #t28 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")); |
| } =>#t25; |
| core::Set<dynamic> s5 = block { |
| final core::Set<dynamic> #t29 = new col::_CompactLinkedHashSet::•<dynamic>(); |
| #t29.{core::Set::add}{Invariant}(invalid-expression "pkg/front_end/testcases/nnbd/issue42758.dart:16:16: Error: Can't spread a value with static type 'Null'. |
| var s5 = {...n3, n1}; |
| ^"); |
| #t29.{core::Set::add}{Invariant}(let final Never #t30 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")); |
| } =>#t29; |
| core::Set<Never> s6 = block { |
| final core::Set<Never> #t31 = new col::_CompactLinkedHashSet::•<Never>(); |
| final core::Iterable<Never>? #t32 = n3; |
| if(!#t32.{core::Object::==}(null)) { |
| core::Iterator<Never> :sync-for-iterator = #t32{core::Iterable<Never>}.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final Never #t33 = :sync-for-iterator.{core::Iterator::current}; |
| #t31.{core::Set::add}{Invariant}(#t33); |
| } |
| } |
| #t31.{core::Set::add}{Invariant}(let final Never #t34 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")); |
| } =>#t31; |
| core::Map<Never, Never> m1 = block { |
| final core::Map<Never, Never> #t35 = <Never, Never>{}; |
| { |
| core::Iterator<core::MapEntry<<BottomType>, <BottomType>>> :sync-for-iterator = (let final Never #t36 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")).{core::Map::entries}.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final core::MapEntry<Never, Never> #t37 = :sync-for-iterator.{core::Iterator::current}; |
| #t35.{core::Map::[]=}{Invariant}(#t37.{core::MapEntry::key}, #t37.{core::MapEntry::value}); |
| } |
| } |
| #t35.{core::Map::[]=}{Invariant}(let final Never #t38 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`."), let final Never #t39 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")); |
| } =>#t35; |
| core::Map<Never, Never> m2 = block { |
| final core::Map<Never, Never> #t40 = <Never, Never>{}; |
| final core::Map<Never, Never>? #t41 = let final Never #t42 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`."); |
| if(!#t41.{core::Object::==}(null)) { |
| core::Iterator<core::MapEntry<Never, Never>> :sync-for-iterator = #t41{core::Map<Never, Never>}.{core::Map::entries}.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final core::MapEntry<Never, Never> #t43 = :sync-for-iterator.{core::Iterator::current}; |
| #t40.{core::Map::[]=}{Invariant}(#t43.{core::MapEntry::key}, #t43.{core::MapEntry::value}); |
| } |
| } |
| #t40.{core::Map::[]=}{Invariant}(let final Never #t44 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`."), let final Never #t45 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")); |
| } =>#t40; |
| core::Map<dynamic, dynamic> m3 = <dynamic, dynamic>{invalid-expression "pkg/front_end/testcases/nnbd/issue42758.dart:20:16: Error: Can't spread a value with static type 'Never?'. |
| var m3 = {...n2, n1: n1}; |
| ^": null, let final Never #t46 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`."): let final Never #t47 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")}; |
| core::Map<Never, Never> m4 = block { |
| final core::Map<Never, Never> #t48 = <Never, Never>{}; |
| final core::Map<Never, Never>? #t49 = n2; |
| if(!#t49.{core::Object::==}(null)) { |
| core::Iterator<core::MapEntry<Never, Never>> :sync-for-iterator = #t49{core::Map<Never, Never>}.{core::Map::entries}.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final core::MapEntry<Never, Never> #t50 = :sync-for-iterator.{core::Iterator::current}; |
| #t48.{core::Map::[]=}{Invariant}(#t50.{core::MapEntry::key}, #t50.{core::MapEntry::value}); |
| } |
| } |
| #t48.{core::Map::[]=}{Invariant}(let final Never #t51 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`."), let final Never #t52 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")); |
| } =>#t48; |
| core::Map<dynamic, dynamic> m5 = <dynamic, dynamic>{invalid-expression "pkg/front_end/testcases/nnbd/issue42758.dart:22:16: Error: Can't spread a value with static type 'Null'. |
| var m5 = {...n3, n1: n1}; |
| ^": null, let final Never #t53 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`."): let final Never #t54 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")}; |
| core::Map<Never, Never> m6 = block { |
| final core::Map<Never, Never> #t55 = <Never, Never>{}; |
| final core::Map<Never, Never>? #t56 = n3; |
| if(!#t56.{core::Object::==}(null)) { |
| core::Iterator<core::MapEntry<Never, Never>> :sync-for-iterator = #t56{core::Map<Never, Never>}.{core::Map::entries}.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final core::MapEntry<Never, Never> #t57 = :sync-for-iterator.{core::Iterator::current}; |
| #t55.{core::Map::[]=}{Invariant}(#t57.{core::MapEntry::key}, #t57.{core::MapEntry::value}); |
| } |
| } |
| #t55.{core::Map::[]=}{Invariant}(let final Never #t58 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`."), let final Never #t59 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")); |
| } =>#t55; |
| } |
| static method test2<N1 extends Never = Never, N2 extends Never? = Never?, N3 extends Null = Null>(self::test2::N1 n1, self::test2::N2% n2, self::test2::N3% n3) → dynamic { |
| core::List<Never> l1 = block { |
| final core::List<Never> #t60 = <Never>[]; |
| for (final Never #t61 in let final self::test2::N1 #t62 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")) |
| #t60.{core::List::add}{Invariant}(#t61); |
| } =>#t60; |
| core::List<Never> l2 = block { |
| final core::List<Never> #t63 = <Never>[]; |
| final core::Iterable<Never>? #t64 = let final self::test2::N1 #t65 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`."); |
| if(!#t64.{core::Object::==}(null)) { |
| core::Iterator<Never> :sync-for-iterator = #t64{core::Iterable<Never>}.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final Never #t66 = :sync-for-iterator.{core::Iterator::current}; |
| #t63.{core::List::add}{Invariant}(#t66); |
| } |
| } |
| } =>#t63; |
| core::List<dynamic> l3 = <dynamic>[invalid-expression "pkg/front_end/testcases/nnbd/issue42758.dart:30:16: Error: Can't spread a value with static type 'N2'. |
| var l3 = [...n2]; |
| ^"]; |
| core::List<Never> l4 = block { |
| final core::List<Never> #t67 = <Never>[]; |
| final core::Iterable<Never>? #t68 = n2; |
| if(!#t68.{core::Object::==}(null)) { |
| core::Iterator<Never> :sync-for-iterator = #t68{core::Iterable<Never>}.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final Never #t69 = :sync-for-iterator.{core::Iterator::current}; |
| #t67.{core::List::add}{Invariant}(#t69); |
| } |
| } |
| } =>#t67; |
| core::List<dynamic> l5 = <dynamic>[invalid-expression "pkg/front_end/testcases/nnbd/issue42758.dart:32:16: Error: Can't spread a value with static type 'N3'. |
| var l5 = [...n3]; |
| ^"]; |
| core::List<Never> l6 = block { |
| final core::List<Never> #t70 = <Never>[]; |
| final core::Iterable<Never>? #t71 = n3; |
| if(!#t71.{core::Object::==}(null)) { |
| core::Iterator<Never> :sync-for-iterator = #t71{core::Iterable<Never>}.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final Never #t72 = :sync-for-iterator.{core::Iterator::current}; |
| #t70.{core::List::add}{Invariant}(#t72); |
| } |
| } |
| } =>#t70; |
| core::Set<self::test2::N1> s1 = block { |
| final core::Set<self::test2::N1> #t73 = new col::_CompactLinkedHashSet::•<self::test2::N1>(); |
| for (final self::test2::N1 #t74 in let final self::test2::N1 #t75 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")) |
| #t73.{core::Set::add}{Invariant}(#t74); |
| #t73.{core::Set::add}{Invariant}(let final self::test2::N1 #t76 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")); |
| } =>#t73; |
| core::Set<self::test2::N1> s2 = block { |
| final core::Set<self::test2::N1> #t77 = new col::_CompactLinkedHashSet::•<self::test2::N1>(); |
| final core::Iterable<self::test2::N1>? #t78 = let final self::test2::N1 #t79 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`."); |
| if(!#t78.{core::Object::==}(null)) { |
| core::Iterator<self::test2::N1> :sync-for-iterator = #t78{core::Iterable<self::test2::N1>}.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final self::test2::N1 #t80 = :sync-for-iterator.{core::Iterator::current}; |
| #t77.{core::Set::add}{Invariant}(#t80); |
| } |
| } |
| #t77.{core::Set::add}{Invariant}(let final self::test2::N1 #t81 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")); |
| } =>#t77; |
| core::Set<dynamic> s3 = block { |
| final core::Set<dynamic> #t82 = new col::_CompactLinkedHashSet::•<dynamic>(); |
| #t82.{core::Set::add}{Invariant}(invalid-expression "pkg/front_end/testcases/nnbd/issue42758.dart:36:16: Error: Can't spread a value with static type 'N2'. |
| var s3 = {...n2, n1}; |
| ^"); |
| #t82.{core::Set::add}{Invariant}(let final self::test2::N1 #t83 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")); |
| } =>#t82; |
| core::Set<self::test2::N1> s4 = block { |
| final core::Set<self::test2::N1> #t84 = new col::_CompactLinkedHashSet::•<self::test2::N1>(); |
| final core::Iterable<self::test2::N1>? #t85 = n2; |
| if(!#t85.{core::Object::==}(null)) { |
| core::Iterator<self::test2::N1> :sync-for-iterator = #t85{core::Iterable<self::test2::N1>}.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final self::test2::N1 #t86 = :sync-for-iterator.{core::Iterator::current}; |
| #t84.{core::Set::add}{Invariant}(#t86); |
| } |
| } |
| #t84.{core::Set::add}{Invariant}(let final self::test2::N1 #t87 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")); |
| } =>#t84; |
| core::Set<dynamic> s5 = block { |
| final core::Set<dynamic> #t88 = new col::_CompactLinkedHashSet::•<dynamic>(); |
| #t88.{core::Set::add}{Invariant}(invalid-expression "pkg/front_end/testcases/nnbd/issue42758.dart:38:16: Error: Can't spread a value with static type 'N3'. |
| var s5 = {...n3, n1}; |
| ^"); |
| #t88.{core::Set::add}{Invariant}(let final self::test2::N1 #t89 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")); |
| } =>#t88; |
| core::Set<self::test2::N1> s6 = block { |
| final core::Set<self::test2::N1> #t90 = new col::_CompactLinkedHashSet::•<self::test2::N1>(); |
| final core::Iterable<self::test2::N1>? #t91 = n3; |
| if(!#t91.{core::Object::==}(null)) { |
| core::Iterator<self::test2::N1> :sync-for-iterator = #t91{core::Iterable<self::test2::N1>}.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final self::test2::N1 #t92 = :sync-for-iterator.{core::Iterator::current}; |
| #t90.{core::Set::add}{Invariant}(#t92); |
| } |
| } |
| #t90.{core::Set::add}{Invariant}(let final self::test2::N1 #t93 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")); |
| } =>#t90; |
| core::Map<self::test2::N1, self::test2::N1> m1 = block { |
| final core::Map<self::test2::N1, self::test2::N1> #t94 = <self::test2::N1, self::test2::N1>{}; |
| { |
| core::Iterator<core::MapEntry<<BottomType>, <BottomType>>> :sync-for-iterator = (let final self::test2::N1 #t95 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")).{core::Map::entries}.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final core::MapEntry<self::test2::N1, self::test2::N1> #t96 = :sync-for-iterator.{core::Iterator::current}; |
| #t94.{core::Map::[]=}{Invariant}(#t96.{core::MapEntry::key}, #t96.{core::MapEntry::value}); |
| } |
| } |
| #t94.{core::Map::[]=}{Invariant}(let final self::test2::N1 #t97 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`."), let final self::test2::N1 #t98 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")); |
| } =>#t94; |
| core::Map<self::test2::N1, self::test2::N1> m2 = block { |
| final core::Map<self::test2::N1, self::test2::N1> #t99 = <self::test2::N1, self::test2::N1>{}; |
| final core::Map<self::test2::N1, self::test2::N1>? #t100 = let final self::test2::N1 #t101 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`."); |
| if(!#t100.{core::Object::==}(null)) { |
| core::Iterator<core::MapEntry<self::test2::N1, self::test2::N1>> :sync-for-iterator = #t100{core::Map<self::test2::N1, self::test2::N1>}.{core::Map::entries}.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final core::MapEntry<self::test2::N1, self::test2::N1> #t102 = :sync-for-iterator.{core::Iterator::current}; |
| #t99.{core::Map::[]=}{Invariant}(#t102.{core::MapEntry::key}, #t102.{core::MapEntry::value}); |
| } |
| } |
| #t99.{core::Map::[]=}{Invariant}(let final self::test2::N1 #t103 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`."), let final self::test2::N1 #t104 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")); |
| } =>#t99; |
| core::Map<dynamic, dynamic> m3 = <dynamic, dynamic>{invalid-expression "pkg/front_end/testcases/nnbd/issue42758.dart:42:16: Error: Can't spread a value with static type 'N2'. |
| var m3 = {...n2, n1: n1}; |
| ^": null, let final self::test2::N1 #t105 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`."): let final self::test2::N1 #t106 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")}; |
| core::Map<self::test2::N1, self::test2::N1> m4 = block { |
| final core::Map<self::test2::N1, self::test2::N1> #t107 = <self::test2::N1, self::test2::N1>{}; |
| final core::Map<self::test2::N1, self::test2::N1>? #t108 = n2; |
| if(!#t108.{core::Object::==}(null)) { |
| core::Iterator<core::MapEntry<self::test2::N1, self::test2::N1>> :sync-for-iterator = #t108{core::Map<self::test2::N1, self::test2::N1>}.{core::Map::entries}.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final core::MapEntry<self::test2::N1, self::test2::N1> #t109 = :sync-for-iterator.{core::Iterator::current}; |
| #t107.{core::Map::[]=}{Invariant}(#t109.{core::MapEntry::key}, #t109.{core::MapEntry::value}); |
| } |
| } |
| #t107.{core::Map::[]=}{Invariant}(let final self::test2::N1 #t110 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`."), let final self::test2::N1 #t111 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")); |
| } =>#t107; |
| core::Map<dynamic, dynamic> m5 = <dynamic, dynamic>{invalid-expression "pkg/front_end/testcases/nnbd/issue42758.dart:44:16: Error: Can't spread a value with static type 'N3'. |
| var m5 = {...n3, n1: n1}; |
| ^": null, let final self::test2::N1 #t112 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`."): let final self::test2::N1 #t113 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")}; |
| core::Map<self::test2::N1, self::test2::N1> m6 = block { |
| final core::Map<self::test2::N1, self::test2::N1> #t114 = <self::test2::N1, self::test2::N1>{}; |
| final core::Map<self::test2::N1, self::test2::N1>? #t115 = n3; |
| if(!#t115.{core::Object::==}(null)) { |
| core::Iterator<core::MapEntry<self::test2::N1, self::test2::N1>> :sync-for-iterator = #t115{core::Map<self::test2::N1, self::test2::N1>}.{core::Map::entries}.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final core::MapEntry<self::test2::N1, self::test2::N1> #t116 = :sync-for-iterator.{core::Iterator::current}; |
| #t114.{core::Map::[]=}{Invariant}(#t116.{core::MapEntry::key}, #t116.{core::MapEntry::value}); |
| } |
| } |
| #t114.{core::Map::[]=}{Invariant}(let final self::test2::N1 #t117 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`."), let final self::test2::N1 #t118 = n1 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.")); |
| } =>#t114; |
| } |
| static method main() → dynamic {} |
