@@ -2,8 +2,13 @@ error[E0277]: `NotParam` can't be used as a const parameter type
22 --> $DIR/const_param_ty_generic_bounds_do_not_hold.rs:10:13
33 |
44LL | check::<&NotParam>();
5- | ^^^^^^^^^ the trait `ConstParamTy_` is not implemented for `NotParam`
5+ | ^^^^^^^^^ unsatisfied trait bound
66 |
7+ help: the trait `ConstParamTy_` is not implemented for `NotParam`
8+ --> $DIR/const_param_ty_generic_bounds_do_not_hold.rs:5:1
9+ |
10+ LL | struct NotParam;
11+ | ^^^^^^^^^^^^^^^
712 = note: required for `&NotParam` to implement `ConstParamTy_`
813note: required by a bound in `check`
914 --> $DIR/const_param_ty_generic_bounds_do_not_hold.rs:7:13
@@ -15,8 +20,13 @@ error[E0277]: `NotParam` can't be used as a const parameter type
1520 --> $DIR/const_param_ty_generic_bounds_do_not_hold.rs:11:13
1621 |
1722LL | check::<[NotParam]>();
18- | ^^^^^^^^^^ the trait `ConstParamTy_` is not implemented for `NotParam`
23+ | ^^^^^^^^^^ unsatisfied trait bound
24+ |
25+ help: the trait `ConstParamTy_` is not implemented for `NotParam`
26+ --> $DIR/const_param_ty_generic_bounds_do_not_hold.rs:5:1
1927 |
28+ LL | struct NotParam;
29+ | ^^^^^^^^^^^^^^^
2030 = note: required for `[NotParam]` to implement `ConstParamTy_`
2131note: required by a bound in `check`
2232 --> $DIR/const_param_ty_generic_bounds_do_not_hold.rs:7:13
@@ -28,8 +38,13 @@ error[E0277]: `NotParam` can't be used as a const parameter type
2838 --> $DIR/const_param_ty_generic_bounds_do_not_hold.rs:12:13
2939 |
3040LL | check::<[NotParam; 17]>();
31- | ^^^^^^^^^^^^^^ the trait `ConstParamTy_` is not implemented for `NotParam`
41+ | ^^^^^^^^^^^^^^ unsatisfied trait bound
42+ |
43+ help: the trait `ConstParamTy_` is not implemented for `NotParam`
44+ --> $DIR/const_param_ty_generic_bounds_do_not_hold.rs:5:1
3245 |
46+ LL | struct NotParam;
47+ | ^^^^^^^^^^^^^^^
3348 = note: required for `[NotParam; 17]` to implement `ConstParamTy_`
3449note: required by a bound in `check`
3550 --> $DIR/const_param_ty_generic_bounds_do_not_hold.rs:7:13
0 commit comments