library;
import self as self;
import "dart:core" as core;

class Chk extends core::Object /*hasConstConstructor*/  {
  const constructor •(core::Object? v, {required core::Object? eq}) → self::Chk
    : assert(v =={core::Object::==}{(core::Object) → core::bool} eq, "Not equal ${(v, {eq: eq})}"), super core::Object::•()
    ;
}
extension type Ex(core::Object? value) {
  abstract extension-type-member representation-field get value() → core::Object?;
  constructor • = self::Ex|constructor#;
  constructor tearoff • = self::Ex|constructor#_#new#tearOff;
}
static method main() → void {
  #C1;
  #C1;
  #C1;
  #C1;
  #C1;
  #C1;
  #C1;
  #C1;
  #C1;
  #C1;
}
static extension-type-member method Ex|constructor#(core::Object? value) → self::Ex% /* erasure=core::Object?, declared=! */ {
  lowered final self::Ex% /* erasure=core::Object?, declared=! */ #this = value;
  return #this;
}
static extension-type-member method Ex|constructor#_#new#tearOff(core::Object? value) → self::Ex% /* erasure=core::Object?, declared=! */
  return self::Ex|constructor#(value);

constants  {
  #C1 = self::Chk {}
}


Constructor coverage from constants:
org-dartlang-testcase:///issue54491.dart:
- Chk. (from org-dartlang-testcase:///issue54491.dart:18:9)
- Object. (from org-dartlang-sdk:///sdk/lib/core/object.dart)