Implementation for https://forums.swift.org/t/lifting-the-self-or-associated-type-constraint-on-existentials/18025 This PR removes the existing "Self or associated type" restrict...