[rustc.git] / src / test / ui / did_you_mean / recursion_limit.rs

// Test that the recursion limit can be changed and that the compiler
// suggests a fix. In this case, we have deeply nested types that will
// fail the `Send` check by overflow when the recursion limit is set
// very low.

#![allow(dead_code)]
#![recursion_limit="10"]

macro_rules! link {
    ($id:ident, $t:ty) => {
        enum $id { $id($t) }
    }
}

link! { A, B }
link! { B, C }
link! { C, D }
link! { D, E }
link! { E, F }
link! { F, G }
link! { G, H }
link! { H, I }
link! { I, J }
link! { J, K }
link! { K, L }
link! { L, M }
link! { M, N }

enum N { N(usize) }

fn is_send<T:Send>() { }

fn main() {
    is_send::<A>(); //~ ERROR overflow evaluating the requirement
}
Commit	Line	Data
8bb4bdeb XL	1	// Test that the recursion limit can be changed and that the compiler
	2	// suggests a fix. In this case, we have deeply nested types that will
	3	// fail the `Send` check by overflow when the recursion limit is set
	4	// very low.
	5
	6	#![allow(dead_code)]
	7	#![recursion_limit="10"]
	8
	9	macro_rules! link {
	10	($id:ident, $t:ty) => {
	11	enum $id { $id($t) }
	12	}
	13	}
	14
	15	link! { A, B }
	16	link! { B, C }
	17	link! { C, D }
	18	link! { D, E }
	19	link! { E, F }
	20	link! { F, G }
	21	link! { G, H }
	22	link! { H, I }
	23	link! { I, J }
	24	link! { J, K }
	25	link! { K, L }
	26	link! { L, M }
	27	link! { M, N }
	28
	29	enum N { N(usize) }
	30
	31	fn is_send<T:Send>() { }
	32
	33	fn main() {
ff7c6d11	34	is_send::<A>(); //~ ERROR overflow evaluating the requirement
8bb4bdeb	35	}