Function rustc_trait_selection::traits::query::type_op::ascribe_user_type::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.