Projection types permit coherence violations #20624
Description
See this example from @aturon, which should not compile. This is because I assumed that we could not support projection types in impls right now, but after thinking on it some more I'm not so sure, it might work -- in that case we probably just need to normalize associated types during coherence.
cc @nick29581
