pkg/front_end/testcases/extensions/on_type_variable_inference.dart.textual_outline_modelled.expect

// @dart = 2.9
class NonStruct {}

class Struct {}

class StructA extends Struct {}

class StructB extends Struct {}

extension Extension<T extends Struct> on T {
  T get property => this;
  T method() => this;
  void set property(T value) {}
}

main() {}
testNonStruct() {}