| library; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:12:7: Error: 'Unresolved' isn't a type. |
| // var Unresolved(:int field) = o; |
| // ^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:13:9: Error: 'Unresolved' isn't a type. |
| // final Unresolved(:o) = o; |
| // ^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:12:32: Error: Local variable 'o' can't be referenced before it is declared. |
| // var Unresolved(:int field) = o; |
| // ^ |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:13:21: Context: This is the declaration of the variable 'o'. |
| // final Unresolved(:o) = o; |
| // ^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:13:26: Error: Local variable 'o' can't be referenced before it is declared. |
| // final Unresolved(:o) = o; |
| // ^ |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:13:21: Context: This is the declaration of the variable 'o'. |
| // final Unresolved(:o) = o; |
| // ^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:15:14: Error: 'Unresolved' isn't a type. |
| // if (o case Unresolved(:var field)) {} |
| // ^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:18:10: Error: 'Unresolved' isn't a type. |
| // case Unresolved(:var field): |
| // ^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:22:5: Error: 'Unresolved' isn't a type. |
| // Unresolved(:var field) => "matched", |
| // ^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:28:7: Error: 'NonType' isn't a type. |
| // var NonType(:int field) = o; |
| // ^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:29:9: Error: 'NonType' isn't a type. |
| // final NonType(:o) = o; |
| // ^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:28:29: Error: Local variable 'o' can't be referenced before it is declared. |
| // var NonType(:int field) = o; |
| // ^ |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:29:18: Context: This is the declaration of the variable 'o'. |
| // final NonType(:o) = o; |
| // ^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:29:23: Error: Local variable 'o' can't be referenced before it is declared. |
| // final NonType(:o) = o; |
| // ^ |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:29:18: Context: This is the declaration of the variable 'o'. |
| // final NonType(:o) = o; |
| // ^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:31:14: Error: 'NonType' isn't a type. |
| // if (o case NonType(:var field)) {} |
| // ^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:34:10: Error: 'NonType' isn't a type. |
| // case NonType(:var field): |
| // ^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:38:5: Error: 'NonType' isn't a type. |
| // NonType(:var field) => "matched", |
| // ^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:44:7: Error: 'Extension' isn't a type. |
| // var Extension(:int field) = o; |
| // ^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:45:9: Error: 'Extension' isn't a type. |
| // final Extension(:o) = o; |
| // ^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:44:31: Error: Local variable 'o' can't be referenced before it is declared. |
| // var Extension(:int field) = o; |
| // ^ |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:45:20: Context: This is the declaration of the variable 'o'. |
| // final Extension(:o) = o; |
| // ^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:45:25: Error: Local variable 'o' can't be referenced before it is declared. |
| // final Extension(:o) = o; |
| // ^ |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:45:20: Context: This is the declaration of the variable 'o'. |
| // final Extension(:o) = o; |
| // ^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:47:14: Error: 'Extension' isn't a type. |
| // if (o case Extension(:var field)) {} |
| // ^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:50:10: Error: 'Extension' isn't a type. |
| // case Extension(:var field): |
| // ^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:54:5: Error: 'Extension' isn't a type. |
| // Extension(:var field) => "matched", |
| // ^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:60:14: Error: 'Unresolved' isn't a type. |
| // var prefix.Unresolved(:int field) = o; |
| // ^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:61:16: Error: 'Unresolved' isn't a type. |
| // final prefix.Unresolved(:o) = o; |
| // ^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:60:39: Error: Local variable 'o' can't be referenced before it is declared. |
| // var prefix.Unresolved(:int field) = o; |
| // ^ |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:61:28: Context: This is the declaration of the variable 'o'. |
| // final prefix.Unresolved(:o) = o; |
| // ^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:61:33: Error: Local variable 'o' can't be referenced before it is declared. |
| // final prefix.Unresolved(:o) = o; |
| // ^ |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:61:28: Context: This is the declaration of the variable 'o'. |
| // final prefix.Unresolved(:o) = o; |
| // ^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:63:21: Error: 'Unresolved' isn't a type. |
| // if (o case prefix.Unresolved(:var field)) {} |
| // ^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:66:17: Error: 'Unresolved' isn't a type. |
| // case prefix.Unresolved(:var field): |
| // ^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:70:11: Error: 'Unresolved' isn't a type. |
| // prefix.Unresolved(:var field) => "matched", |
| // ^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:76:14: Error: 'NonType' isn't a type. |
| // var prefix.NonType(:int field) = o; |
| // ^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:77:16: Error: 'NonType' isn't a type. |
| // final prefix.NonType(:o) = o; |
| // ^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:76:36: Error: Local variable 'o' can't be referenced before it is declared. |
| // var prefix.NonType(:int field) = o; |
| // ^ |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:77:25: Context: This is the declaration of the variable 'o'. |
| // final prefix.NonType(:o) = o; |
| // ^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:77:30: Error: Local variable 'o' can't be referenced before it is declared. |
| // final prefix.NonType(:o) = o; |
| // ^ |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:77:25: Context: This is the declaration of the variable 'o'. |
| // final prefix.NonType(:o) = o; |
| // ^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:79:21: Error: 'NonType' isn't a type. |
| // if (o case prefix.NonType(:var field)) {} |
| // ^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:82:17: Error: 'NonType' isn't a type. |
| // case prefix.NonType(:var field): |
| // ^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:86:12: Error: 'NonType' isn't a type. |
| // prefix.NonType(:var field) => "matched", |
| // ^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:92:14: Error: 'Extension' isn't a type. |
| // var prefix.Extension(:int field) = o; |
| // ^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:93:16: Error: 'Extension' isn't a type. |
| // final prefix.Extension(:o) = o; |
| // ^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:92:38: Error: Local variable 'o' can't be referenced before it is declared. |
| // var prefix.Extension(:int field) = o; |
| // ^ |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:93:27: Context: This is the declaration of the variable 'o'. |
| // final prefix.Extension(:o) = o; |
| // ^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:93:32: Error: Local variable 'o' can't be referenced before it is declared. |
| // final prefix.Extension(:o) = o; |
| // ^ |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:93:27: Context: This is the declaration of the variable 'o'. |
| // final prefix.Extension(:o) = o; |
| // ^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:95:21: Error: 'Extension' isn't a type. |
| // if (o case prefix.Extension(:var field)) {} |
| // ^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:98:17: Error: 'Extension' isn't a type. |
| // case prefix.Extension(:var field): |
| // ^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:102:12: Error: 'Extension' isn't a type. |
| // prefix.Extension(:var field) => "matched", |
| // ^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:108:7: Error: 'unresolved.Type' can't be used as a type because 'unresolved' isn't defined. |
| // var unresolved.Type(:int field) = o; |
| // ^^^^^^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:109:9: Error: 'unresolved.Type' can't be used as a type because 'unresolved' isn't defined. |
| // final unresolved.Type(:o) = o; |
| // ^^^^^^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:108:37: Error: Local variable 'o' can't be referenced before it is declared. |
| // var unresolved.Type(:int field) = o; |
| // ^ |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:109:26: Context: This is the declaration of the variable 'o'. |
| // final unresolved.Type(:o) = o; |
| // ^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:109:31: Error: Local variable 'o' can't be referenced before it is declared. |
| // final unresolved.Type(:o) = o; |
| // ^ |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:109:26: Context: This is the declaration of the variable 'o'. |
| // final unresolved.Type(:o) = o; |
| // ^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:111:14: Error: 'unresolved.Type' can't be used as a type because 'unresolved' isn't defined. |
| // if (o case unresolved.Type(:var field)) {} |
| // ^^^^^^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:114:10: Error: 'unresolved.Type' can't be used as a type because 'unresolved' isn't defined. |
| // case unresolved.Type(:var field): |
| // ^^^^^^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:118:5: Error: 'unresolved.Type' can't be used as a type because 'unresolved' isn't defined. |
| // unresolved.Type(:var field) => "matched", |
| // ^^^^^^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:124:7: Error: 'NonType.hashCode' can't be used as a type because 'NonType' doesn't refer to an import prefix. |
| // var NonType.hashCode(:int field) = o; |
| // ^^^^^^^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:125:9: Error: 'NonType.hashCode' can't be used as a type because 'NonType' doesn't refer to an import prefix. |
| // final NonType.hashCode(:o) = o; |
| // ^^^^^^^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:124:38: Error: Local variable 'o' can't be referenced before it is declared. |
| // var NonType.hashCode(:int field) = o; |
| // ^ |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:125:27: Context: This is the declaration of the variable 'o'. |
| // final NonType.hashCode(:o) = o; |
| // ^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:125:32: Error: Local variable 'o' can't be referenced before it is declared. |
| // final NonType.hashCode(:o) = o; |
| // ^ |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:125:27: Context: This is the declaration of the variable 'o'. |
| // final NonType.hashCode(:o) = o; |
| // ^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:127:14: Error: 'NonType.hashCode' can't be used as a type because 'NonType' doesn't refer to an import prefix. |
| // if (o case NonType.hashCode(:var field)) {} |
| // ^^^^^^^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:130:10: Error: 'NonType.hashCode' can't be used as a type because 'NonType' doesn't refer to an import prefix. |
| // case NonType.hashCode(:var field): |
| // ^^^^^^^^^^^^^^^^ |
| // |
| // pkg/front_end/testcases/patterns/non_type_object_pattern.dart:134:5: Error: 'NonType.hashCode' can't be used as a type because 'NonType' doesn't refer to an import prefix. |
| // NonType.hashCode(:var field) => "matched", |
| // ^^^^^^^^^^^^^^^^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| import "dart:_internal" as _in; |
| |
| import "org-dartlang-testcase:///non_type_object_pattern.dart" as prefix; |
| |
| extension Extension on core::int { |
| } |
| static field core::int NonType = 0; |
| static method testUnresolved(dynamic o) → dynamic { |
| hoisted has-declared-initializer core::int field; |
| { |
| final synthesized dynamic #0#0 = o; |
| synthesized invalid-type #0#2; |
| synthesized core::bool #0#2#isSet = false; |
| if(!(#0#0 is invalid-type && ((#0#2#isSet ?{invalid-type} #0#2{invalid-type} : let final core::bool* #t1 = #0#2#isSet = true in #0#2 = #0#0{invalid-type}{<invalid>}.field) is core::int && (let final invalid-type #t2 = field = #0#2#isSet ?{invalid-type} #0#2{invalid-type} : let final core::bool* #t3 = #0#2#isSet = true in #0#2 = #0#0{invalid-type}{<invalid>}.field in true)))) |
| throw{for-error-handling} new core::StateError::•("Pattern matching error"); |
| } |
| final hoisted has-declared-initializer invalid-type o; |
| { |
| final synthesized dynamic #1#0 = o; |
| if(!(#1#0 is invalid-type && (let final invalid-type #t4 = o = #1#0{invalid-type}{<invalid>}.o in true))) |
| throw{for-error-handling} new core::StateError::•("Pattern matching error"); |
| } |
| { |
| final synthesized dynamic #2#0 = o; |
| { |
| hoisted invalid-type field; |
| if(#2#0 is invalid-type) { |
| field = #2#0{invalid-type}{<invalid>}.field; |
| {} |
| } |
| } |
| } |
| #L1: |
| { |
| final synthesized dynamic #3#0 = o; |
| { |
| hoisted invalid-type field; |
| if(#3#0 is invalid-type && (let final invalid-type #t5 = field = #3#0{invalid-type}{<invalid>}.field in true)) { |
| { |
| break #L1; |
| } |
| } |
| } |
| } |
| o = block { |
| core::String #t6; |
| final synthesized dynamic #4#0 = o; |
| #L2: |
| { |
| { |
| hoisted invalid-type field; |
| if(#4#0 is invalid-type) { |
| field = #4#0{invalid-type}{<invalid>}.field; |
| #t6 = "matched"; |
| break #L2; |
| } |
| } |
| { |
| if(true) { |
| #t6 = ""; |
| break #L2; |
| } |
| } |
| throw{for-error-handling} new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type."); |
| } |
| } =>#t6; |
| } |
| static method testNonType(dynamic o) → dynamic { |
| hoisted has-declared-initializer core::int field; |
| { |
| final synthesized dynamic #0#0 = o; |
| synthesized invalid-type #0#2; |
| synthesized core::bool #0#2#isSet = false; |
| if(!(#0#0 is invalid-type && ((#0#2#isSet ?{invalid-type} #0#2{invalid-type} : let final core::bool* #t7 = #0#2#isSet = true in #0#2 = #0#0{invalid-type}{<invalid>}.field) is core::int && (let final invalid-type #t8 = field = #0#2#isSet ?{invalid-type} #0#2{invalid-type} : let final core::bool* #t9 = #0#2#isSet = true in #0#2 = #0#0{invalid-type}{<invalid>}.field in true)))) |
| throw{for-error-handling} new core::StateError::•("Pattern matching error"); |
| } |
| final hoisted has-declared-initializer invalid-type o; |
| { |
| final synthesized dynamic #1#0 = o; |
| if(!(#1#0 is invalid-type && (let final invalid-type #t10 = o = #1#0{invalid-type}{<invalid>}.o in true))) |
| throw{for-error-handling} new core::StateError::•("Pattern matching error"); |
| } |
| { |
| final synthesized dynamic #2#0 = o; |
| { |
| hoisted invalid-type field; |
| if(#2#0 is invalid-type) { |
| field = #2#0{invalid-type}{<invalid>}.field; |
| {} |
| } |
| } |
| } |
| #L3: |
| { |
| final synthesized dynamic #3#0 = o; |
| { |
| hoisted invalid-type field; |
| if(#3#0 is invalid-type && (let final invalid-type #t11 = field = #3#0{invalid-type}{<invalid>}.field in true)) { |
| { |
| break #L3; |
| } |
| } |
| } |
| } |
| o = block { |
| core::String #t12; |
| final synthesized dynamic #4#0 = o; |
| #L4: |
| { |
| { |
| hoisted invalid-type field; |
| if(#4#0 is invalid-type) { |
| field = #4#0{invalid-type}{<invalid>}.field; |
| #t12 = "matched"; |
| break #L4; |
| } |
| } |
| { |
| if(true) { |
| #t12 = ""; |
| break #L4; |
| } |
| } |
| throw{for-error-handling} new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type."); |
| } |
| } =>#t12; |
| } |
| static method testExtension(dynamic o) → dynamic { |
| hoisted has-declared-initializer core::int field; |
| { |
| final synthesized dynamic #0#0 = o; |
| synthesized invalid-type #0#2; |
| synthesized core::bool #0#2#isSet = false; |
| if(!(#0#0 is invalid-type && ((#0#2#isSet ?{invalid-type} #0#2{invalid-type} : let final core::bool* #t13 = #0#2#isSet = true in #0#2 = #0#0{invalid-type}{<invalid>}.field) is core::int && (let final invalid-type #t14 = field = #0#2#isSet ?{invalid-type} #0#2{invalid-type} : let final core::bool* #t15 = #0#2#isSet = true in #0#2 = #0#0{invalid-type}{<invalid>}.field in true)))) |
| throw{for-error-handling} new core::StateError::•("Pattern matching error"); |
| } |
| final hoisted has-declared-initializer invalid-type o; |
| { |
| final synthesized dynamic #1#0 = o; |
| if(!(#1#0 is invalid-type && (let final invalid-type #t16 = o = #1#0{invalid-type}{<invalid>}.o in true))) |
| throw{for-error-handling} new core::StateError::•("Pattern matching error"); |
| } |
| { |
| final synthesized dynamic #2#0 = o; |
| { |
| hoisted invalid-type field; |
| if(#2#0 is invalid-type) { |
| field = #2#0{invalid-type}{<invalid>}.field; |
| {} |
| } |
| } |
| } |
| #L5: |
| { |
| final synthesized dynamic #3#0 = o; |
| { |
| hoisted invalid-type field; |
| if(#3#0 is invalid-type && (let final invalid-type #t17 = field = #3#0{invalid-type}{<invalid>}.field in true)) { |
| { |
| break #L5; |
| } |
| } |
| } |
| } |
| o = block { |
| core::String #t18; |
| final synthesized dynamic #4#0 = o; |
| #L6: |
| { |
| { |
| hoisted invalid-type field; |
| if(#4#0 is invalid-type) { |
| field = #4#0{invalid-type}{<invalid>}.field; |
| #t18 = "matched"; |
| break #L6; |
| } |
| } |
| { |
| if(true) { |
| #t18 = ""; |
| break #L6; |
| } |
| } |
| throw{for-error-handling} new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type."); |
| } |
| } =>#t18; |
| } |
| static method testPrefixedUnresolved(dynamic o) → dynamic { |
| hoisted has-declared-initializer core::int field; |
| { |
| final synthesized dynamic #0#0 = o; |
| synthesized invalid-type #0#2; |
| synthesized core::bool #0#2#isSet = false; |
| if(!(#0#0 is invalid-type && ((#0#2#isSet ?{invalid-type} #0#2{invalid-type} : let final core::bool* #t19 = #0#2#isSet = true in #0#2 = #0#0{invalid-type}{<invalid>}.field) is core::int && (let final invalid-type #t20 = field = #0#2#isSet ?{invalid-type} #0#2{invalid-type} : let final core::bool* #t21 = #0#2#isSet = true in #0#2 = #0#0{invalid-type}{<invalid>}.field in true)))) |
| throw{for-error-handling} new core::StateError::•("Pattern matching error"); |
| } |
| final hoisted has-declared-initializer invalid-type o; |
| { |
| final synthesized dynamic #1#0 = o; |
| if(!(#1#0 is invalid-type && (let final invalid-type #t22 = o = #1#0{invalid-type}{<invalid>}.o in true))) |
| throw{for-error-handling} new core::StateError::•("Pattern matching error"); |
| } |
| { |
| final synthesized dynamic #2#0 = o; |
| { |
| hoisted invalid-type field; |
| if(#2#0 is invalid-type) { |
| field = #2#0{invalid-type}{<invalid>}.field; |
| {} |
| } |
| } |
| } |
| #L7: |
| { |
| final synthesized dynamic #3#0 = o; |
| { |
| hoisted invalid-type field; |
| if(#3#0 is invalid-type && (let final invalid-type #t23 = field = #3#0{invalid-type}{<invalid>}.field in true)) { |
| { |
| break #L7; |
| } |
| } |
| } |
| } |
| o = block { |
| core::String #t24; |
| final synthesized dynamic #4#0 = o; |
| #L8: |
| { |
| { |
| hoisted invalid-type field; |
| if(#4#0 is invalid-type) { |
| field = #4#0{invalid-type}{<invalid>}.field; |
| #t24 = "matched"; |
| break #L8; |
| } |
| } |
| { |
| if(true) { |
| #t24 = ""; |
| break #L8; |
| } |
| } |
| throw{for-error-handling} new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type."); |
| } |
| } =>#t24; |
| } |
| static method testPrefixedNonType(dynamic o) → dynamic { |
| hoisted has-declared-initializer core::int field; |
| { |
| final synthesized dynamic #0#0 = o; |
| synthesized invalid-type #0#2; |
| synthesized core::bool #0#2#isSet = false; |
| if(!(#0#0 is invalid-type && ((#0#2#isSet ?{invalid-type} #0#2{invalid-type} : let final core::bool* #t25 = #0#2#isSet = true in #0#2 = #0#0{invalid-type}{<invalid>}.field) is core::int && (let final invalid-type #t26 = field = #0#2#isSet ?{invalid-type} #0#2{invalid-type} : let final core::bool* #t27 = #0#2#isSet = true in #0#2 = #0#0{invalid-type}{<invalid>}.field in true)))) |
| throw{for-error-handling} new core::StateError::•("Pattern matching error"); |
| } |
| final hoisted has-declared-initializer invalid-type o; |
| { |
| final synthesized dynamic #1#0 = o; |
| if(!(#1#0 is invalid-type && (let final invalid-type #t28 = o = #1#0{invalid-type}{<invalid>}.o in true))) |
| throw{for-error-handling} new core::StateError::•("Pattern matching error"); |
| } |
| { |
| final synthesized dynamic #2#0 = o; |
| { |
| hoisted invalid-type field; |
| if(#2#0 is invalid-type) { |
| field = #2#0{invalid-type}{<invalid>}.field; |
| {} |
| } |
| } |
| } |
| #L9: |
| { |
| final synthesized dynamic #3#0 = o; |
| { |
| hoisted invalid-type field; |
| if(#3#0 is invalid-type && (let final invalid-type #t29 = field = #3#0{invalid-type}{<invalid>}.field in true)) { |
| { |
| break #L9; |
| } |
| } |
| } |
| } |
| o = block { |
| core::String #t30; |
| final synthesized dynamic #4#0 = o; |
| #L10: |
| { |
| { |
| hoisted invalid-type field; |
| if(#4#0 is invalid-type) { |
| field = #4#0{invalid-type}{<invalid>}.field; |
| #t30 = "matched"; |
| break #L10; |
| } |
| } |
| { |
| if(true) { |
| #t30 = ""; |
| break #L10; |
| } |
| } |
| throw{for-error-handling} new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type."); |
| } |
| } =>#t30; |
| } |
| static method testPrefixedExtension(dynamic o) → dynamic { |
| hoisted has-declared-initializer core::int field; |
| { |
| final synthesized dynamic #0#0 = o; |
| synthesized invalid-type #0#2; |
| synthesized core::bool #0#2#isSet = false; |
| if(!(#0#0 is invalid-type && ((#0#2#isSet ?{invalid-type} #0#2{invalid-type} : let final core::bool* #t31 = #0#2#isSet = true in #0#2 = #0#0{invalid-type}{<invalid>}.field) is core::int && (let final invalid-type #t32 = field = #0#2#isSet ?{invalid-type} #0#2{invalid-type} : let final core::bool* #t33 = #0#2#isSet = true in #0#2 = #0#0{invalid-type}{<invalid>}.field in true)))) |
| throw{for-error-handling} new core::StateError::•("Pattern matching error"); |
| } |
| final hoisted has-declared-initializer invalid-type o; |
| { |
| final synthesized dynamic #1#0 = o; |
| if(!(#1#0 is invalid-type && (let final invalid-type #t34 = o = #1#0{invalid-type}{<invalid>}.o in true))) |
| throw{for-error-handling} new core::StateError::•("Pattern matching error"); |
| } |
| { |
| final synthesized dynamic #2#0 = o; |
| { |
| hoisted invalid-type field; |
| if(#2#0 is invalid-type) { |
| field = #2#0{invalid-type}{<invalid>}.field; |
| {} |
| } |
| } |
| } |
| #L11: |
| { |
| final synthesized dynamic #3#0 = o; |
| { |
| hoisted invalid-type field; |
| if(#3#0 is invalid-type && (let final invalid-type #t35 = field = #3#0{invalid-type}{<invalid>}.field in true)) { |
| { |
| break #L11; |
| } |
| } |
| } |
| } |
| o = block { |
| core::String #t36; |
| final synthesized dynamic #4#0 = o; |
| #L12: |
| { |
| { |
| hoisted invalid-type field; |
| if(#4#0 is invalid-type) { |
| field = #4#0{invalid-type}{<invalid>}.field; |
| #t36 = "matched"; |
| break #L12; |
| } |
| } |
| { |
| if(true) { |
| #t36 = ""; |
| break #L12; |
| } |
| } |
| throw{for-error-handling} new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type."); |
| } |
| } =>#t36; |
| } |
| static method testUnresolvedPrefix(dynamic o) → dynamic { |
| hoisted has-declared-initializer core::int field; |
| { |
| final synthesized dynamic #0#0 = o; |
| synthesized invalid-type #0#2; |
| synthesized core::bool #0#2#isSet = false; |
| if(!(#0#0 is invalid-type && ((#0#2#isSet ?{invalid-type} #0#2{invalid-type} : let final core::bool* #t37 = #0#2#isSet = true in #0#2 = #0#0{invalid-type}{<invalid>}.field) is core::int && (let final invalid-type #t38 = field = #0#2#isSet ?{invalid-type} #0#2{invalid-type} : let final core::bool* #t39 = #0#2#isSet = true in #0#2 = #0#0{invalid-type}{<invalid>}.field in true)))) |
| throw{for-error-handling} new core::StateError::•("Pattern matching error"); |
| } |
| final hoisted has-declared-initializer invalid-type o; |
| { |
| final synthesized dynamic #1#0 = o; |
| if(!(#1#0 is invalid-type && (let final invalid-type #t40 = o = #1#0{invalid-type}{<invalid>}.o in true))) |
| throw{for-error-handling} new core::StateError::•("Pattern matching error"); |
| } |
| { |
| final synthesized dynamic #2#0 = o; |
| { |
| hoisted invalid-type field; |
| if(#2#0 is invalid-type) { |
| field = #2#0{invalid-type}{<invalid>}.field; |
| {} |
| } |
| } |
| } |
| #L13: |
| { |
| final synthesized dynamic #3#0 = o; |
| { |
| hoisted invalid-type field; |
| if(#3#0 is invalid-type && (let final invalid-type #t41 = field = #3#0{invalid-type}{<invalid>}.field in true)) { |
| { |
| break #L13; |
| } |
| } |
| } |
| } |
| o = block { |
| core::String #t42; |
| final synthesized dynamic #4#0 = o; |
| #L14: |
| { |
| { |
| hoisted invalid-type field; |
| if(#4#0 is invalid-type) { |
| field = #4#0{invalid-type}{<invalid>}.field; |
| #t42 = "matched"; |
| break #L14; |
| } |
| } |
| { |
| if(true) { |
| #t42 = ""; |
| break #L14; |
| } |
| } |
| throw{for-error-handling} new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type."); |
| } |
| } =>#t42; |
| } |
| static method testMemberAccess(dynamic o) → dynamic { |
| hoisted has-declared-initializer core::int field; |
| { |
| final synthesized dynamic #0#0 = o; |
| synthesized invalid-type #0#2; |
| synthesized core::bool #0#2#isSet = false; |
| if(!(#0#0 is invalid-type && ((#0#2#isSet ?{invalid-type} #0#2{invalid-type} : let final core::bool* #t43 = #0#2#isSet = true in #0#2 = #0#0{invalid-type}{<invalid>}.field) is core::int && (let final invalid-type #t44 = field = #0#2#isSet ?{invalid-type} #0#2{invalid-type} : let final core::bool* #t45 = #0#2#isSet = true in #0#2 = #0#0{invalid-type}{<invalid>}.field in true)))) |
| throw{for-error-handling} new core::StateError::•("Pattern matching error"); |
| } |
| final hoisted has-declared-initializer invalid-type o; |
| { |
| final synthesized dynamic #1#0 = o; |
| if(!(#1#0 is invalid-type && (let final invalid-type #t46 = o = #1#0{invalid-type}{<invalid>}.o in true))) |
| throw{for-error-handling} new core::StateError::•("Pattern matching error"); |
| } |
| { |
| final synthesized dynamic #2#0 = o; |
| { |
| hoisted invalid-type field; |
| if(#2#0 is invalid-type) { |
| field = #2#0{invalid-type}{<invalid>}.field; |
| {} |
| } |
| } |
| } |
| #L15: |
| { |
| final synthesized dynamic #3#0 = o; |
| { |
| hoisted invalid-type field; |
| if(#3#0 is invalid-type && (let final invalid-type #t47 = field = #3#0{invalid-type}{<invalid>}.field in true)) { |
| { |
| break #L15; |
| } |
| } |
| } |
| } |
| o = block { |
| core::String #t48; |
| final synthesized dynamic #4#0 = o; |
| #L16: |
| { |
| { |
| hoisted invalid-type field; |
| if(#4#0 is invalid-type) { |
| field = #4#0{invalid-type}{<invalid>}.field; |
| #t48 = "matched"; |
| break #L16; |
| } |
| } |
| { |
| if(true) { |
| #t48 = ""; |
| break #L16; |
| } |
| } |
| throw{for-error-handling} new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type."); |
| } |
| } =>#t48; |
| } |
