Function creusot_contracts::std::intrinsics::needs_drop

pub const extern "rust-intrinsic" fn needs_drop<T>() -> bool
where
    T: ?Sized,

🔬This is a nightly-only experimental API. (core_intrinsics)

Returns true if the actual type given as T requires drop glue; returns false if the actual type provided for T implements Copy.

If the actual type neither requires drop glue nor implements Copy, then the return value of this function is unspecified.

Note that, unlike most intrinsics, this is safe to call; it does not require an unsafe block. Therefore, implementations must not require the user to uphold any safety invariants.

The stabilized version of this intrinsic is mem::needs_drop.