Yet another half-baked idea for working around the orphan rule

burakumin:

Specifically, impl PartialEq<Self> for i32 on the base type is inherited as impl PartialEq<Self> for i32\foo on the facet.

That still sounds problematic because it introduces a distinction that doesn't currently exists, plus it doesn't fix all breakage.

FYI there was a discussion of a very similar feature Struct Alias where some of these points were raised.