That can't be used with defaults, which match what type aliases look like.
protocol P {
associatedtype A = Encodable & Decodable // Compiles
associatedtype B = Encodable, Decodable // Two errors
}
What I meant was, you can't do this:
protocol P {
associatedtype A = AnyObject, B = Bool
}