| Deadbeef | 22a8d46 | 2021-06-23 10:37:26 | [diff] [blame] | 1 | #![feature(const_trait_impl)] |
| Deadbeef | 22a8d46 | 2021-06-23 10:37:26 | [diff] [blame] | 2 | |
| Deadbeef | 257f065 | 2022-03-16 09:49:54 | [diff] [blame] | 3 | #[const_trait] |
| Deadbeef | 22a8d46 | 2021-06-23 10:37:26 | [diff] [blame] | 4 | trait Tr { |
| 5 | fn req(&self); | ||||
| 6 | |||||
| Deadbeef | 2db927d | 2021-07-04 04:24:20 | [diff] [blame] | 7 | fn default() {} |
| Deadbeef | 22a8d46 | 2021-06-23 10:37:26 | [diff] [blame] | 8 | } |
| 9 | |||||
| 10 | struct S; | ||||
| 11 | |||||
| Deadbeef | 2db927d | 2021-07-04 04:24:20 | [diff] [blame] | 12 | impl const Tr for u16 { |
| Deadbeef | 2db927d | 2021-07-04 04:24:20 | [diff] [blame] | 13 | fn default() {} |
| Deadbeef | 257f065 | 2022-03-16 09:49:54 | [diff] [blame] | 14 | } //~^^ ERROR not all trait items implemented |
| Deadbeef | 2db927d | 2021-07-04 04:24:20 | [diff] [blame] | 15 | |
| 16 | |||||
| Deadbeef | 22a8d46 | 2021-06-23 10:37:26 | [diff] [blame] | 17 | fn main() {} |