{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"self.register_wf_obligation(term,"}]}
            self.register_wf_obligation(term, span, ObligationCauseCode::WellFormed(None));
        for term in args.iter().filter_map(ty::GenericArg::as_term) {
        }