{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"for"}]}
            for (idx, new_a_principal) in
        } else if let Some(a_principal) = a_data.principal() {
                elaborate::supertraits(self.cx(), a_principal.with_self_ty(cx, a_ty))