This might not be good -- it would rule out static atomics, if we want those. I guess the real answer we want is something more like `type_needs_drop` but that is a codegen concept, not a language exposed thing (as of yet).