Don't try to prove opaque type bounds twice on the same types#114094

Closed

oli-obk wants to merge 3 commits intorust-lang:masterfrom

Commits on Jul 26, 2023

Commits on Jul 27, 2023

Show that the opaque type works in the new solver and is actually instantiatable
oli-obk
committed