Skip to main content

## extract_fn_def_from_const_callable

# 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::Ty, 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.