rustc_trait_selection::traits::query::type_op::ascribe_user_type

Function type_op_ascribe_user_type_with_span

source 
pub fn type_op_ascribe_user_type_with_span<'tcx>(
    ocx: &ObligationCtxt<'_, 'tcx>,
    key: ParamEnvAnd<'tcx, AscribeUserType<'tcx>>,
    span: Option<Span>,
) -> Result<(), NoSolution>
Expand description

The core of the type_op_ascribe_user_type query: for diagnostics purposes in NLL HRTB errors, this query can be re-run to better track the span of the obligation cause, and improve the error message. Do not call directly unless you’re in that very specific context.