{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"///"}]}
    /// an obligation for a particular trait with the given self type and checks
    /// In particular, it doesn't really do any probing: it simply constructs
    /// whether that trait is implemented.