tests/compiler/dart2js/rti/data/instantiation3.dart

// Copyright (c) 2018, 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.7

/*spec:nnbd-off.member: f:deps=[B],direct,explicit=[f.T],needsArgs,needsInst=[<B.S>]*/
/*prod:nnbd-off|prod:nnbd-sdk.member: f:deps=[B]*/
/*spec:nnbd-sdk.member: f:deps=[B],direct,explicit=[f.T*],needsArgs,needsInst=[<B.S*>]*/
int f<T>(T a) => null;

typedef int F<R>(R a);

/*spec:nnbd-off.class: B:direct,explicit=[int Function(B.S)],needsArgs*/
/*spec:nnbd-sdk.class: B:direct,explicit=[int* Function(B.S*)*],needsArgs*/
class B<S> {
  F<S> c;

  method() {
    return () {
      c = f;
    };
  }
}

main() {
  new B().method();
}