src/test/ui/pattern/issue-88074-pat-range-type-inference.rs

   1 // check-pass
   2
   3 trait Zero {
   4     const ZERO: Self;
   5 }
   6
   7 impl Zero for i32 {
   8     const ZERO: Self = 0;
   9 }
  10
  11 fn main() {
  12     match 1 {
  13         Zero::ZERO ..= 1 => {},
  14         _ => {},
  15     }
  16 }