{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"ObligationCauseCode::WellFormed(loc),"}]}
            ObligationCauseCode::WellFormed(loc),
            self.body_def_id,
        );