{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"for"}]}
                for arg in goal.predicate.alias.own_args(cx).iter() {
            ty::AliasTermKind::ProjectionTy | ty::AliasTermKind::ProjectionConst => {
                    let Some(term) = arg.as_term() else {