Commits

John McCall committed 99ae1049807
Protocol conformance is a subtyping relationship, no matter whether the target type is a class existential. The subtype relation should form a lattice and be intrinsically reversible; everything else is a conversion. Swift SVN r14027