OpaqueCast projections are always overlapping, they can't possibly be disjoint#104773
Merged
bors merged 1 commit intorust-lang:masterfrom Nov 25, 2022
Merged
OpaqueCast projections are always overlapping, they can't possibly be disjoint#104773bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
