{"ast_node_type":"variable","tokens":[{"end":62,"kind":"keyword","start":0,"text":"if"}]}
                if let Some(trait_predicate) = trait_predicate
                let nested_predicate = self.resolve_vars_if_possible(error.obligation.predicate);
                    && nested_predicate == self.resolve_vars_if_possible(trait_predicate)