2 // revisions: duplicate deduplicate
3 //[deduplicate] compile-flags: -Z deduplicate-diagnostics=yes
7 1.0 => {} //~ WARNING floating-point types cannot be used in patterns
8 //~| WARNING this was previously accepted
9 //~| WARNING floating-point types cannot be used in patterns
10 //~| WARNING this was previously accepted
11 2.0 => {} //~ WARNING floating-point types cannot be used in patterns
12 //~| WARNING this was previously accepted
13 //[duplicate]~| WARNING floating-point types cannot be used in patterns
14 //[duplicate]~| WARNING this was previously accepted