| error[E0282]: type annotations needed for `[Foo<{integer}>; _]` | |
| --> $DIR/copy-check-deferred-after-fallback.rs:37:9 | |
| | | |
| LL | let b = [Foo(PhantomData); _]; | |
| | ^ ---------------- type must be known at this point | |
| | | |
| help: consider giving `b` an explicit type, where the value of const parameter `N` is specified | |
| | | |
| LL | let b: [Foo<{integer}>; N] = [Foo(PhantomData); _]; | |
| | +++++++++++++++++++++ | |
| error: aborting due to 1 previous error | |
| For more information about this error, try `rustc --explain E0282`. |