fn register_new_opaque_types<D, I>(
delegate: &D,
opaque_types: &[(OpaqueTypeKey<I>, I::Ty)],
span: I::Span,
)where
D: SolverDelegate<Interner = I>,
I: Interner,fn register_new_opaque_types<D, I>(
delegate: &D,
opaque_types: &[(OpaqueTypeKey<I>, I::Ty)],
span: I::Span,
)where
D: SolverDelegate<Interner = I>,
I: Interner,