4 // This should typecheck even though the type of e is not fully
5 // resolved when we finish typechecking the ||.
8 struct Refs { refs: Vec<isize> , n: isize }
11 let mut e = Refs{refs: vec![], n: 0};
12 let _f = || println!("{}", e.n);
13 let x: &[isize] = &e.refs;
14 assert_eq!(x.len(), 0);