| Gary Guo | 0a03f8c | 2021-10-11 17:20:20 | [diff] [blame] | 1 | // check-pass |
| 2 | |||||
| 3 | #![feature(const_trait_impl)] | ||||
| Gary Guo | 0a03f8c | 2021-10-11 17:20:20 | [diff] [blame] | 4 | |
| Deadbeef | 257f065 | 2022-03-16 09:49:54 | [diff] [blame] | 5 | #[const_trait] |
| Gary Guo | 0a03f8c | 2021-10-11 17:20:20 | [diff] [blame] | 6 | trait Tr { |
| 7 | fn req(&self); | ||||
| 8 | |||||
| Gary Guo | 0a03f8c | 2021-10-11 17:20:20 | [diff] [blame] | 9 | fn default() {} |
| 10 | } | ||||
| 11 | |||||
| 12 | impl const Tr for u8 { | ||||
| 13 | fn req(&self) {} | ||||
| Gary Guo | 0a03f8c | 2021-10-11 17:20:20 | [diff] [blame] | 14 | } |
| 15 | |||||
| 16 | macro_rules! impl_tr { | ||||
| 17 | ($ty: ty) => { | ||||
| 18 | impl const Tr for $ty { | ||||
| 19 | fn req(&self) {} | ||||
| Gary Guo | 0a03f8c | 2021-10-11 17:20:20 | [diff] [blame] | 20 | } |
| 21 | } | ||||
| 22 | } | ||||
| 23 | |||||
| 24 | impl_tr!(u64); | ||||
| 25 | |||||
| 26 | fn main() {} | ||||