// RUN: %target-typecheck-verify-swift | |
protocol _UnicodeParser_ { | |
associatedtype Encoding: _UnicodeEncoding_ | |
} | |
protocol _UnicodeEncoding_ { | |
associatedtype CodeUnit : BinaryInteger_ | |
associatedtype ForwardParser : _UnicodeParser_ | |
where ForwardParser.Encoding == Self | |
} | |
protocol BinaryInteger_ { | |
associatedtype Words: Collection_ where Words.Index == Int_ | |
} | |
protocol Collection_ { | |
associatedtype Index: Comparable_ | |
} | |
protocol Comparable_ {} | |
struct Int_: Comparable_ {} |