// Copyright (c) 2022, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

// @dart = 2.15

/*spec.class: B:explicit=[B]*/
abstract class B {
  call<T>();
}

class C implements B {
  /*member: C.call:exp,needsArgs,selectors=[Selector(call, call, arity=0, types=1)]*/
  call<T>() => print(T);
}

abstract class A {}

class Wrapper {
  Wrapper(this.b, this.call);
  final B b;
  final B call;
}

void main() {
  B b = C();
  b<A>();
  Wrapper(b, b).b<A>();
  (Wrapper(b, b).b)<A>();
  Wrapper(b, b).call<A>();
  (Wrapper(b, b).call)<A>();
}