[rustc.git] / src / test / ui / lambda-infer-unresolved.rs

// run-pass

#![allow(unused_mut)]
// This should typecheck even though the type of e is not fully
// resolved when we finish typechecking the ||.


struct Refs { refs: Vec<isize> , n: isize }

pub fn main() {
    let mut e = Refs{refs: vec![], n: 0};
    let _f = || println!("{}", e.n);
    let x: &[isize] = &e.refs;
    assert_eq!(x.len(), 0);
}
Commit	Line	Data
416331ca XL	1	// run-pass
416331ca XL	2
0bf4aa26	3	#![allow(unused_mut)]
223e47cc	4	// This should typecheck even though the type of e is not fully
1a4d82fc	5	// resolved when we finish typechecking the \|\|.
223e47cc LB	6
223e47cc LB	7
c34b1796	8	struct Refs { refs: Vec<isize> , n: isize }
223e47cc LB	9
223e47cc LB	10	pub fn main() {
c30ab7b3	11	let mut e = Refs{refs: vec![], n: 0};
85aaf69f	12	let _f = \|\| println!("{}", e.n);
c34b1796	13	let x: &[isize] = &e.refs;
1a4d82fc	14	assert_eq!(x.len(), 0);
223e47cc	15	}