Replace a DefiningOpaqueTypes::No with Yes by asserting that one side of the comparison is a type variable.#123888
Merged
bors merged 2 commits intorust-lang:masterfrom Apr 13, 2024
