blob: 5b8a8d24fc3f4d6604a7d751a41eecdb6bd67133 [file] [log] [blame]
library;
//
// Problems in library:
//
// pkg/front_end/testcases/ignore_function.dart:14:15: Error: Can't infer a type for 'other' as some of the inherited members have different types.
// Try adding an explicit type.
// operator ==(other) => false;
// ^^^^^
//
import self as self;
import "dart:core" as core;
import "dart:core" as core;
class A extends core::Object implements core::Function {
synthetic constructor •() self::A
: super core::Object::•()
;
operator ==(dynamic other) core::bool
return false;
}
class B extends core::Object implements self::Function {
synthetic constructor •() self::B
: super core::Object::•()
;
operator ==(invalid-type other) core::bool
return false;
}
class Function extends core::Object {
synthetic constructor •() self::Function
: super core::Object::•()
;
operator ==(core::Object other) core::bool
return false;
}
static method main() dynamic {}