{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":")"}]}
    ) -> Result<(), ErrorGuaranteed> {
        f: impl FnOnce(&Self) -> Result<(), ErrorGuaranteed>,
        if Some(self.trait_def_id) == trait_def_id { f(self) } else { Ok(()) }