Never ending compilation involving types and PATs

Using Swift
, , ,
5

FWIW, this seems to produce a semi-useful error on master:

sr-10627.swift:8:18: note: ambiguous inference of associated type 'T1': 'T1' vs. 'T2'