{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"///"}]}
    /// all of the cases that the normal `ty::Ty`-based wfcheck does. This is fine,
    /// span) for an *existing* error. Therefore, it is best-effort, and may never handle
    /// because the `ty::Ty`-based wfcheck is always run.