{"ast_node_type":"variable","tokens":[{"end":64,"kind":"keyword","start":0,"text":"if"}]}
                if let Some(poly_trait_ref) = data.principal() {
                    self.add_constraints_from_invariant_args(