A protocol with an associated type constrained to another protocol is a 'PAT'. Why does adding `where Self.Element: Comparable` to the protocol declaration (not an extension) below change what conformers must provide?
protocol SortedContainer {
associatedtype Element: Comparable
func sortedItems() -> [Element]
}