[rustc.git] / src / test / ui / where-clauses / where-clause-early-bound-lifetimes.rs

// run-pass
#![allow(non_upper_case_globals)]

// pretty-expanded FIXME #23616

trait TheTrait { fn dummy(&self) { } }

impl TheTrait for &'static isize { }

fn foo<'a,T>(_: &'a T) where &'a T : TheTrait { }

fn bar<T>(_: &'static T) where &'static T : TheTrait { }

fn main() {
    static x: isize = 1;
    foo(&x);
    bar(&x);
}
Commit	Line	Data
b7449926 XL	1	// run-pass
	2	#![allow(non_upper_case_globals)]
	3
c34b1796 AL	4	// pretty-expanded FIXME #23616
c34b1796 AL	5
85aaf69f	6	trait TheTrait { fn dummy(&self) { } }
223e47cc	7
c34b1796	8	impl TheTrait for &'static isize { }
223e47cc	9
1a4d82fc	10	fn foo<'a,T>(_: &'a T) where &'a T : TheTrait { }
970d7e83	11
1a4d82fc	12	fn bar<T>(_: &'static T) where &'static T : TheTrait { }
223e47cc LB	13
223e47cc LB	14	fn main() {
c34b1796	15	static x: isize = 1;
1a4d82fc JJ	16	foo(&x);
1a4d82fc JJ	17	bar(&x);
223e47cc	18	}