library /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;

typedef IntFn = (core::int) → core::int;
typedef TFn = <T extends core::Object? = dynamic>(T%) → T%;
abstract class CompareBase extends core::Object {
  synthetic constructor •() → self::CompareBase
    ;
  abstract operator <((core::int) → core::int f) → dynamic;
}
class Compare extends self::CompareBase {
  synthetic constructor •() → self::Compare
    ;
  @core::override
  operator <(core::Object f) → dynamic
    ;
}
static method id<T extends core::Object? = dynamic>(self::id::T% t) → self::id::T%
  ;
static method test1(self::CompareBase x) → dynamic
  ;
static method main() → dynamic
  ;


Extra constant evaluation status:
Evaluated: StaticGet @ org-dartlang-testcase:///issue51871.dart:15:4 -> InstanceConstant(const _Override{})
Extra constant evaluation: evaluated: 1, effectively constant: 1