src/tools/miri/tests/pass/enum-nullable-const-null-with-fields.rs

   1 use std::result::Result;
   2 use std::result::Result::Ok;
   3
   4 static C: Result<(), Box<isize>> = Ok(());
   5
   6 // This is because of yet another bad assertion (ICE) about the null side of a nullable enum.
   7 // So we won't actually compile if the bug is present, but we check the value in main anyway.
   8
   9 pub fn main() {
  10     assert!(C.is_ok());
  11 }