protocol A {
  associatedtype T : B
}