{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"///"}]}
    /// this may be different from `self.display`,
    ///
    /// e.g. if the file contains hard tabs, because we convert tabs to spaces for error messages.