{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"///"}]}
    /// whether that trait is implemented.
    /// an obligation for a particular trait with the given self type and checks
    #[instrument(level = "debug", skip(self))]