Rollup merge of #124017 - oli-obk:define_opaque_types8, r=compiler-errors

Change a diagnostics-path-only `DefineOpaqueTypes` to `Yes`.

This can't possibly affect compilation, so it's safe to flip, even if I couldn't come up with an affected test

r? ``@compiler-errors``

Author: matthiaskrgr