error: `~const` can only be applied to `#[const_trait]` traits
  --> $DIR/const-drop-bound.rs:9:68
   |
LL | const fn foo<T, E>(res: Result<T, E>) -> Option<T> where E: ~const Destruct {
   |                                                                    ^^^^^^^^

error: `~const` can only be applied to `#[const_trait]` traits
  --> $DIR/const-drop-bound.rs:20:15
   |
LL |     T: ~const Destruct,
   |               ^^^^^^^^

error: `~const` can only be applied to `#[const_trait]` traits
  --> $DIR/const-drop-bound.rs:21:15
   |
LL |     E: ~const Destruct,
   |               ^^^^^^^^

error[E0493]: destructor of `E` cannot be evaluated at compile-time
  --> $DIR/const-drop-bound.rs:12:13
   |
LL |         Err(_e) => None,
   |             ^^ the destructor for this type cannot be evaluated in constant functions

error: aborting due to 4 previous errors

For more information about this error, try `rustc --explain E0493`.