{"ast_node_type":"import","tokens":[{"end":57,"kind":"keyword","start":0,"text":"///"}]}
    /// because the `ty::Ty`-based wfcheck is always run.
    /// all of the cases that the normal `ty::Ty`-based wfcheck does. This is fine,
    query diagnostic_hir_wf_check(