Some fuckery with rust typeclasses; trying to do equality for constants

nodrop.rs

#![feature(generic_const_exprs)]

pub trait NoDrop {}

trait False<const V: bool> {}
impl<T> False<false> for T {}

// Doesn't work actually, get some weird non-descriptive errors "unconstrained generic constant"
impl<T> NoDrop for T where
    T: False<{ std::mem::needs_drop::<T>() }>,
    T: ?Sized,
{}