{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"for"}]}
        for term in args.iter().filter_map(ty::GenericArg::as_term) {
    pub(crate) fn add_wf_bounds(&self, args: GenericArgsRef<'tcx>, span: Span) {
            self.register_wf_obligation(term, span, ObligationCauseCode::WellFormed(None));