| 许杰友 Jieyou Xu (Joe) | 6e48b96 | 2024-02-22 12:10:29 | [diff] [blame] | 1 | //@ revisions: cpass |
| Jack Huey | 1bf8f87 | 2022-11-09 03:15:02 | [diff] [blame] | 2 | |
| 3 | #[derive(PartialEq, Eq)] | ||||
| 4 | struct Id<'a> { | ||||
| 5 | ns: &'a str, | ||||
| 6 | } | ||||
| 7 | fn visit_struct() { | ||||
| 8 | let id = Id { ns: "random1" }; | ||||
| Oli Scherer | d030ece | 2023-02-14 09:17:34 | [diff] [blame] | 9 | const FLAG: Id<'static> = Id { ns: "needs_to_be_the_same" }; |
| Jack Huey | 1bf8f87 | 2022-11-09 03:15:02 | [diff] [blame] | 10 | match id { |
| 11 | FLAG => {} | ||||
| 12 | _ => {} | ||||
| 13 | } | ||||
| 14 | } | ||||
| 15 | fn visit_struct2() { | ||||
| 16 | let id = Id { ns: "random2" }; | ||||
| Oli Scherer | d030ece | 2023-02-14 09:17:34 | [diff] [blame] | 17 | const FLAG: Id<'static> = Id { ns: "needs_to_be_the_same" }; |
| Jack Huey | 1bf8f87 | 2022-11-09 03:15:02 | [diff] [blame] | 18 | match id { |
| 19 | FLAG => {} | ||||
| 20 | _ => {} | ||||
| 21 | } | ||||
| 22 | } | ||||
| 23 | |||||
| 24 | fn main() {} | ||||