Error about drop in const fn without any dropping happening

[oli-obk]

The take_inner function won't ever evaluate a destructor. This is a bug in const_qualif I think

pub struct Wrapper {
    inner: String,
}

pub const fn take_inner(w: Wrapper) -> String {
    w.inner
}

(Playground)

Errors:

   Compiling playground v0.0.1 (/playground)
error[E0493]: destructors cannot be evaluated at compile-time
 --> src/lib.rs:5:28
  |
5 | pub const fn take_inner(w: Wrapper) -> String {  // <<< lint suggestion here fails to compile
  |                         ^ constant functions cannot evaluate destructors

error: aborting due to previous error

error: Could not compile `playground`.

To learn more, run the command again with --verbose.

[ecstatic-morse]

This particular example is fixed by #![feature(const_precise_live_drops)] (#73255), which moves live drop checking for constants after drop elaboration. I think we can close this?