| error[E0277]: the trait bound `NonTrivialDrop: const A` is not satisfied |
| --> $DIR/const-drop-fail-2.rs:30:23 |
| | |
| LL | const _: () = check::<ConstDropImplWithBounds<NonTrivialDrop>>( |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| | |
| note: required for `ConstDropImplWithBounds<NonTrivialDrop>` to implement `const Drop` |
| --> $DIR/const-drop-fail-2.rs:24:26 |
| | |
| LL | impl<T: [const] A> const Drop for ConstDropImplWithBounds<T> { |
| | --------- ^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| | | |
| | unsatisfied trait bound introduced here |
| note: required by a bound in `check` |
| --> $DIR/const-drop-fail-2.rs:20:19 |
| | |
| LL | const fn check<T: [const] Destruct>(_: T) {} |
| | ^^^^^^^^^^^^^^^^ required by this bound in `check` |
| help: make the `impl` of trait `A` `const` |
| | |
| LL | impl const A for NonTrivialDrop {} |
| | +++++ |
| |
| error: aborting due to 1 previous error |
| |
| For more information about this error, try `rustc --explain E0277`. |
