()
| 162 | |
| 163 | #[test] |
| 164 | fn meta_equality_includes_name() { |
| 165 | let addr = mk_addr("test"); |
| 166 | let a = KId::<Meta>::new(addr.clone(), mk_name("Foo")); |
| 167 | let b = KId::<Meta>::new(addr.clone(), mk_name("Bar")); |
| 168 | let c = KId::<Meta>::new(addr.clone(), mk_name("Foo")); |
| 169 | assert_ne!(a, b); |
| 170 | assert_eq!(a, c); |
| 171 | } |
| 172 | |
| 173 | #[test] |
| 174 | fn anon_equality_ignores_erased_name() { |