pkg/front_end/test/extensions/data/type_variables.dart

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

/*library: scope=[A2,A3,A4]*/

class A1<T> {}

/*class: A2:
 builder-name=A2,
 builder-onType=A1<T>,
 builder-type-params=[T],
 extension-members=[
  method1=A2|method1,
  method2=A2|method2,
  tearoff method1=A2|get#method1,
  tearoff method2=A2|get#method2],
 extension-name=A2,
 extension-onType=A1<T>,
 extension-type-params=[T]
*/
extension A2<T> on A1<T> {
  /*member: A2|method1:
     builder-name=method1,
     builder-params=[#this],
     builder-type-params=[T,S extends T],
     member-name=A2|method1,
     member-params=[#this],
     member-type-params=[T,S extends T]
  */
  A1<T> method1<S extends T>() {
    return this;
  }

  /*member: A2|get#method1:
   builder-name=method1,
   builder-params=[#this],
   builder-type-params=[T,S extends T],
   member-name=A2|get#method1,
   member-params=[#this],
   member-type-params=[T]
  */

  /*member: A2|method2:
     builder-name=method2,
     builder-params=[#this,o],
     builder-type-params=[T,S extends A1<T>],
     member-name=A2|method2,
     member-params=[#this,o],
     member-type-params=[T,S extends A1<T>]
  */
  A1<T> method2<S extends A1<T>>(S o) {
    print(o);
    return this;
  }

  /*member: A2|get#method2:
   builder-name=method2,
   builder-params=[#this,o],
   builder-type-params=[T,S extends A1<T>],
   member-name=A2|get#method2,
   member-params=[#this],
   member-type-params=[T]
  */
}

/*class: A3:
 builder-name=A3,
 builder-onType=A1<T>,
 builder-type-params=[T extends A1<T>],
 extension-name=A3,
 extension-onType=A1<T>,
 extension-type-params=[T extends A1<T>]
*/
extension A3<T extends A1<T>> on A1<T> {
}

/*class: A4:
 builder-name=A4,
 builder-onType=A1<T>,
 builder-type-params=[T],
 extension-members=[
  method=A4|method,
  tearoff method=A4|get#method],
 extension-name=A4,
 extension-onType=A1<T>,
 extension-type-params=[T]
*/
extension A4<T> on A1<T> {
  /*member: A4|method:
   builder-name=method,
   builder-params=[#this],
   builder-type-params=[T,T],
   member-name=A4|method,
   member-params=[#this],
   member-type-params=[#T,T]*/
  method<T>() {}

  /*member: A4|get#method:
   builder-name=method,
   builder-params=[#this],
   builder-type-params=[T,T],
   member-name=A4|get#method,
   member-params=[#this],
   member-type-params=[#T]
  */
}

main() {}