pub(in solve) fn extract_fn_def_from_const_callable<I: Interner>(
cx: I,
self_ty: I::Ty,
) -> Result<(Binder<I, (I::FnInputTys, I::Ty)>, I::DefId, I::GenericArgs), NoSolution>
Expand description
This duplicates extract_tupled_inputs_and_output_from_callable
but needs
to return different information (namely, the def id and args) so that we can
create const conditions.
Doing so on all calls to extract_tupled_inputs_and_output_from_callable
would be wasteful.