{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"query"}]}
    query diagnostic_hir_wf_check(
    /// because the `ty::Ty`-based wfcheck is always run.
        key: (ty::Predicate<'tcx>, WellFormedLoc)