[rustc.git] / src / test / ui / auto-traits / issue-23080.rs

#![feature(auto_traits)]
#![feature(negative_impls)]

unsafe auto trait Trait {
    fn method(&self) { //~ ERROR E0380
        println!("Hello");
    }
}

fn call_method<T: Trait>(x: T) {
    x.method();
}

fn main() {
    // ICE
    call_method(());
}
Commit	Line	Data
fc512014	1	#![feature(auto_traits)]
ba9703b0	2	#![feature(negative_impls)]
c34b1796	3
2c00a5a8	4	unsafe auto trait Trait {
ba9703b0	5	fn method(&self) { //~ ERROR E0380
c34b1796	6	println!("Hello");
85aaf69f	7	}
223e47cc	8	}
c34b1796	9
c34b1796 AL	10	fn call_method<T: Trait>(x: T) {
	11	x.method();
	12	}
	13
	14	fn main() {
	15	// ICE
	16	call_method(());
	17	}