Lines Matching refs:derive

31 #[cfg_attr(any(kani, test), derive(Debug, PartialEq, Eq))]
32 #[derive(Copy, Clone)]
43 #[cfg_attr(any(kani, test), derive(Debug, PartialEq, Eq))]
44 #[derive(Copy, Clone)]
50 #[cfg_attr(any(kani, test), derive(Debug, PartialEq, Eq))]
51 #[derive(Copy, Clone)]
91 #[derive(Copy, Clone)]
92 #[cfg_attr(test, derive(Debug))]
99 #[cfg_attr(test, derive(Debug))]
815             #[derive(Copy, Clone)]  in project()
1613         #[derive(Debug)]  in test_validate_rust_layout()