{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"{"}]}
                {
                    && nested_predicate == self.resolve_vars_if_possible(trait_predicate)
                    // Don't report possibly unsatisfied predicates if the root