{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"///"}]}
    /// then it will be used to perform HIR-based wf checking
    /// Well-formed checking. If a `WellFormedLoc` is provided,
    /// after an error occurs, in order to generate a more precise error span.