{"ast_node_type":"variable","tokens":[{"end":75,"kind":"keyword","start":0,"text":"if"}]}
        if let (Some((true, ..)), _) | (_, Some((true, ..))) = (lhs, rhs) {
            return Ty::new_misc_error(self.tcx);