Function extract_fn_def_from_const_callable

Source
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.