public protocol A {
  associatedtype T : B
}

public protocol SubProto30984417: BaseProto30984417 {}