Make hidden type registration opt-in, so that each site can be reviewed on its own and we have the right defaults for trait solvers r? `@lcnr` pulled out of https://github.com/rust-lang/rust/pull/107891 as it is the uncontroversial part
reference