| library /*isNonNullableByDefault*/; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/extension_types/call_not_get.dart:9:5: Error: The method 'ceil' isn't defined for the extension 'E'. |
| // Try correcting the name to the name of an existing method, or defining a method name 'ceil'. |
| // e.ceil(); // Error. |
| // ^^^^ |
| // |
| // pkg/front_end/testcases/extension_types/call_not_get.dart:10:5: Error: The setter 'ceil' isn't defined for the extension 'E'. |
| // Try correcting the name to the name of an existing setter, or defining a setter or field named 'ceil'. |
| // e.ceil = 42; // Error. |
| // ^^^^ |
| // |
| // pkg/front_end/testcases/extension_types/call_not_get.dart:12:5: Error: The getter 'floor' isn't defined for the extension 'E'. |
| // Try correcting the name to the name of an existing getter, or defining a getter or field named 'floor'. |
| // e.floor; // Error. |
| // ^^^^^ |
| // |
| // pkg/front_end/testcases/extension_types/call_not_get.dart:14:5: Error: The setter 'ceil' isn't defined for the extension 'E'. |
| // Try correcting the name to the name of an existing setter, or defining a setter or field named 'ceil'. |
| // e.ceil = 42; // Error. |
| // ^^^^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| extension type E on core::int show-methods core::int::floor show-getters core::int::floor, core::int::ceil hide-getters core::int::floor { |
| } |
| static method test(self::E e) → dynamic { |
| e.{core::int::ceil}{() → core::int}; |
| invalid-expression "pkg/front_end/testcases/extension_types/call_not_get.dart:9:5: Error: The method 'ceil' isn't defined for the extension 'E'. |
| Try correcting the name to the name of an existing method, or defining a method name 'ceil'. |
| e.ceil(); // Error. |
| ^^^^" in e{<unresolved>}.ceil(); |
| invalid-expression "pkg/front_end/testcases/extension_types/call_not_get.dart:10:5: Error: The setter 'ceil' isn't defined for the extension 'E'. |
| Try correcting the name to the name of an existing setter, or defining a setter or field named 'ceil'. |
| e.ceil = 42; // Error. |
| ^^^^" in e{<unresolved>}.ceil = 42; |
| invalid-expression "pkg/front_end/testcases/extension_types/call_not_get.dart:12:5: Error: The getter 'floor' isn't defined for the extension 'E'. |
| Try correcting the name to the name of an existing getter, or defining a getter or field named 'floor'. |
| e.floor; // Error. |
| ^^^^^" in e{<unresolved>}.floor; |
| e.{core::int::floor}(){() → core::int}; |
| invalid-expression "pkg/front_end/testcases/extension_types/call_not_get.dart:14:5: Error: The setter 'ceil' isn't defined for the extension 'E'. |
| Try correcting the name to the name of an existing setter, or defining a setter or field named 'ceil'. |
| e.ceil = 42; // Error. |
| ^^^^" in e{<unresolved>}.ceil = 42; |
| } |
| static method main() → dynamic {} |