| error[E0277]: `NotParam` can't be used as a const parameter type |
| --> $DIR/const_param_ty_bad_empty_array.rs:10:13 |
| | |
| LL | check::<[NotParam; 0]>(); |
| | ^^^^^^^^^^^^^ the trait `ConstParamTy` is not implemented for `NotParam`, which is required by `[NotParam; 0]: ConstParamTy` |
| | |
| = note: required for `[NotParam; 0]` to implement `ConstParamTy` |
| note: required by a bound in `check` |
| --> $DIR/const_param_ty_bad_empty_array.rs:7:13 |
| | |
| LL | fn check<T: std::marker::ConstParamTy>() {} |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `check` |
| |
| error: aborting due to 1 previous error |
| |
| For more information about this error, try `rustc --explain E0277`. |