| struct X; | |
| // Make sure that we show the impl trait refs in the help message with | |
| // their evaluated constants, rather than `core::::array::{impl#30}::{constant#0}` | |
| fn main() { | |
| <[X; 35] as Default>::default(); | |
| //~^ ERROR the trait bound `[X; 35]: Default` is not satisfied | |
| } |