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