1protocol P { 2 associatedtype T 3 var t: T { get } 4} 5 6struct S: P { 7 var t: Int { 23 } 8} 9 10// This explicit type annotation crashes the compiler 11let spt: (some P).T = S().t 12 13// This works 14let sp: some P = S() 15let spt1 = sp.t