m-mueller678

It does, but it does not permit interior mutability. I'm looking for a more relaxed version of `NoUninit`

I don't think this alone allows you to implement any useful operations. It just offloads some of the work of manual checking onto the type system. I definitely want a...

I use it as a bound on traits that have additional requirements which must be checked manually

No, Expo is disabled.