public protocol P {
  associatedtype T
}