| library /*isNonNullableByDefault*/; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/extension_types/simple_show_hide_conflicts.dart:6:7: Error: A non-null value must be returned since the return type 'int' doesn't allow null. |
| // int ceil() {} // Error. |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/simple_show_hide_conflicts.dart:10:7: Error: A non-null value must be returned since the return type 'int' doesn't allow null. |
| // int ceil() {} // Ok. |
| // ^ |
| // |
| // pkg/front_end/testcases/extension_types/simple_show_hide_conflicts.dart:11:7: Error: A non-null value must be returned since the return type 'int' doesn't allow null. |
| // int floor() {} // Error. |
| // ^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| extension E1 on core::int show-types core::num { |
| method ceil = self::E1|ceil; |
| tearoff ceil = self::E1|get#ceil; |
| } |
| extension E2 on core::int show-types core::num hide-methods core::int::ceil hide-getters core::int::ceil { |
| method ceil = self::E2|ceil; |
| tearoff ceil = self::E2|get#ceil; |
| method floor = self::E2|floor; |
| tearoff floor = self::E2|get#floor; |
| } |
| extension E3 on core::int hide-getters core::int::isEven { |
| get isOdd = self::E3|get#isOdd; |
| get isEven = self::E3|get#isEven; |
| } |
| static method E1|ceil(lowered final core::int #this) → core::int { |
| return invalid-expression "pkg/front_end/testcases/extension_types/simple_show_hide_conflicts.dart:6:7: Error: A non-null value must be returned since the return type 'int' doesn't allow null. |
| int ceil() {} // Error. |
| ^" in null; |
| } |
| static method E1|get#ceil(lowered final core::int #this) → () → core::int |
| return () → core::int => self::E1|ceil(#this); |
| static method E2|ceil(lowered final core::int #this) → core::int { |
| return invalid-expression "pkg/front_end/testcases/extension_types/simple_show_hide_conflicts.dart:10:7: Error: A non-null value must be returned since the return type 'int' doesn't allow null. |
| int ceil() {} // Ok. |
| ^" in null; |
| } |
| static method E2|get#ceil(lowered final core::int #this) → () → core::int |
| return () → core::int => self::E2|ceil(#this); |
| static method E2|floor(lowered final core::int #this) → core::int { |
| return invalid-expression "pkg/front_end/testcases/extension_types/simple_show_hide_conflicts.dart:11:7: Error: A non-null value must be returned since the return type 'int' doesn't allow null. |
| int floor() {} // Error. |
| ^" in null; |
| } |
| static method E2|get#floor(lowered final core::int #this) → () → core::int |
| return () → core::int => self::E2|floor(#this); |
| static method E3|get#isOdd(lowered final core::int #this) → core::bool |
| return throw 42; |
| static method E3|get#isEven(lowered final core::int #this) → core::bool |
| return throw 42; |
| static method main() → dynamic {} |