{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"if"}]}
                    if matches!(
                        chalk_ir::Substitute::apply(&obligation.free_vars, ty, Interner);
                        self.resolve_ty_shallow(&uncanonical).kind(Interner),