<!-- Thank you for filing a bug report! 🐛 Please provide a short summary of the bug, along with any information you feel relevant to replicating the bug. --> I tried this code: ```rust pub fn main() { match 12 { 12 | 13 | 14 => {} _ => {} } } ``` I expected to see this happen: no error Instead, this happened: ``` <source>:3:9: sorry, unimplemented: type checking alternate patterns not supported 3 | 12 | 13 | 14 => {} | ^~ ```