Comment by maplant

It can't do these things because it's not wanted. Say you have the following:

  enum Value {
      Float(f64),
      Ptr(*const T),
  }

Do you want the compiler to disallow certain bit patterns in the Float variant simply so that it can implement NanBoxing?