These currently compile, even if they can be used from compile-time code to trigger a drop: ```rust #![feature(const_fn)] pub const fn drop<T>(_: T) {} pub const fn drop2<T>(x: T) { (x, ()).1 } ``` cc @alexreg