Rollup merge of #124080 - oli-obk:define_opaque_types10, r=compiler-e…

…rrors

Some unstable changes to where opaque types get defined

None of these can be reached from stable afaict.

r? ``@compiler-errors``

cc rust-lang/rust#116652