Do not define opaque types when selecting impls fixes #126117 r? `@lcnr` for inconsistency with next solver
#[diagnostic::on_unimplemented]