OK according to A type that is sometimes Drop and sometimes Copy: is this even theoretically possible? it is actually maybe already possible at least in some cases using the (also very unsafe) specialization system.
Note "values of type T never execute any code when dropped" if weakened to "have no side effects when dropped" would be fulfilled by the example MyOption, though I suppose even low but present side effect level things like panics could mess up unsafe code.