Check that all hidden types are the same and then deduplicate them.#95731

Merged

bors merged 1 commit intorust-lang:masterfrom

oli-obk:lazy_tait_regression

Apr 6, 2022

Commits on Apr 6, 2022

Check that all hidden types are the same and then deduplicate them.
oli-obk
committed