{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"clause_def_id"}]}
            clause_def_id == goal_def_id
        ) -> bool {
            // PERF(sized-hierarchy): Sizedness supertraits aren't elaborated to improve perf, so