| #![feature(pattern_types)] | |
| #![feature(pattern_type_macro)] | |
| use std::pat::pattern_type; | |
| // EMIT_MIR pattern_types.main.PreCodegen.after.mir | |
| fn main() { | |
| // CHECK: debug x => const 2_u32 is 1.. | |
| let x: pattern_type!(u32 is 1..) = unsafe { std::mem::transmute(2) }; | |
| // CHECK: debug y => const {transmute(0x00000000): (u32) is 1..} | |
| let y: pattern_type!(u32 is 1..) = unsafe { std::mem::transmute(0) }; | |
| } |