Add new v0 demangling tags for pattern types

src/v0.rs

@@ -1018,6 +1018,11 @@ impl<'a, 'b, 's> Printer<'a, 'b, 's> {
             b'B' => {
                 self.print_backref(Self::print_type)?;
             }
+            b'W' => {
+                self.print_type()?;
+                self.print(" is ")?;
+                self.print_pat()?;
+            }
             _ => {
                 // Go back to the tag, so `print_path` also sees it.
                 let _ = self.parser.as_mut().map(|p| p.next -= 1);
@@ -1079,6 +1084,36 @@ impl<'a, 'b, 's> Printer<'a, 'b, 's> {
         Ok(())
     }
 
+    fn print_pat(&mut self) -> fmt::Result {
+        let tag = parse!(self, next);
+
+        match tag {
+            b'R' => {
+                self.print_const(false)?;
+                self.print("..=")?;
+                self.print_const(false)?;
+            }
+            b'O' => {
+                parse!(self, push_depth);
+                self.print_pat()?;
+                while !self.eat(b'E') {
+                    // May have reached the end of the string,
+                    // avoid going into an endless loop.
+                    if self.parser.is_err() {
+                        invalid!(self)
+                    }
+                    self.print(" | ")?;
+                    self.print_pat()?;
+                }
+                self.pop_depth();
+            }
+            b'N' => self.print("!null")?,
+            _ => invalid!(self),
+        }
+
+        Ok(())
+    }
+
     fn print_const(&mut self, in_value: bool) -> fmt::Result {
         let tag = parse!(self, next);
 
@@ -1315,6 +1350,13 @@ mod tests {
         );
     }
 
+    #[test]
+    fn demangle_pat_ty() {
+        t_nohash_type!("WmRm1_m9_", "u32 is 1..=9");
+        t_nohash_type!("WmORm1_m2_Rm5_m6_E", "u32 is 1..=2 | 5..=6");
+        assert!(::v0::demangle("_RMC0WmORm1_m2_Rm5_m6_").is_err());
+    }
+
     #[test]
     fn demangle_const_generics_preview() {
         // NOTE(eddyb) this was hand-written, before rustc had working