library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/nnbd/issue42579_2.dart:19:32: Error: The method 'unknown' isn't defined for the class 'Object'.
//  - 'Object' is from 'dart:core'.
// Try correcting the name to the name of an existing method, or defining a method named 'unknown'.
//   wrap2(() => foo()..property?.unknown());
//                                ^^^^^^^
//
import self as self;
import "dart:core" as core;

class A<T extends core::Object? = dynamic> extends core::Object {
  synthetic constructor •() → self::A<self::A::T%>
    : super core::Object::•()
    ;
  get property() → self::A::T%
    return throw "A.property";
}
static method foo<S extends core::Object? = dynamic>() → self::foo::S%
  return throw "foo";
static method wrap<R extends core::Object? = dynamic>(() → self::wrap::R% f) → dynamic {}
static method wrap2<R extends core::Object? = dynamic>(() → self::A<self::wrap2::R%> f) → dynamic {}
static method bar() → dynamic {
  new self::A::•<dynamic>().{self::A::property}{dynamic}{dynamic}.unknown();
  self::foo<dynamic>(){dynamic}.unknown();
  self::wrap<dynamic>(() → dynamic => let final dynamic #t1 = self::foo<dynamic>() in block {
    #t1{dynamic}.unknown();
  } =>#t1);
  self::wrap2<core::Object?>(() → self::A<core::Object?> => let final self::A<core::Object?> #t2 = self::foo<self::A<core::Object?>>() in block {
    let final core::Object? #t3 = #t2.{self::A::property}{core::Object?} in #t3 == null ?{dynamic} null : invalid-expression "pkg/front_end/testcases/nnbd/issue42579_2.dart:19:32: Error: The method 'unknown' isn't defined for the class 'Object'.
 - 'Object' is from 'dart:core'.
Try correcting the name to the name of an existing method, or defining a method named 'unknown'.
  wrap2(() => foo()..property?.unknown());
                               ^^^^^^^" in #t3{core::Object}{<unresolved>}.unknown();
  } =>#t2);
}
static method main() → dynamic {}