{"ast_node_type":"variable","tokens":[{"end":36,"kind":"keyword","start":0,"text":"if"}]}
        if let Some(slice) = slice {
        // Type check the `slice`, if present, against its expected type.
            self.check_pat(slice, opt_slice_ty.unwrap(), pat_info);