Function rustc_query_impl::make_query::diagnostic_hir_wf_check

pub fn diagnostic_hir_wf_check<'tcx>(
    tcx: QueryCtxt<'tcx>, 
    key: diagnostic_hir_wf_check<'tcx>
) -> QueryStackFrame

Performs an HIR-based well-formed check on the item with the given HirId. If we get an Unimplemented error that matches the provided Predicate, return the cause of the newly created obligation.

This is only used by error-reporting code to get a better cause (in particular, a better span) for an existing error. Therefore, it is best-effort, and may never handle all of the cases that the normal ty::Ty-based wfcheck does. This is fine, because the ty::Ty-based wfcheck is always run.