[rustc.git] / src / test / ui / traits / trait-alias / trait-alias-cross-crate.rs

// aux-build:trait_alias.rs

#![feature(trait_alias)]

extern crate trait_alias;

use std::rc::Rc;
use trait_alias::SendSync;

fn use_alias<T: SendSync>() {}

fn main() {
    use_alias::<u32>();
    use_alias::<Rc<u32>>();
    //~^ ERROR `Rc<u32>` cannot be sent between threads safely [E0277]
    //~^^ ERROR `Rc<u32>` cannot be shared between threads safely [E0277]
}
Commit	Line	Data
9fa01778 XL	1	// aux-build:trait_alias.rs
	2
	3	#![feature(trait_alias)]
	4
	5	extern crate trait_alias;
	6
	7	use std::rc::Rc;
	8	use trait_alias::SendSync;
	9
	10	fn use_alias<T: SendSync>() {}
	11
	12	fn main() {
	13	use_alias::<u32>();
	14	use_alias::<Rc<u32>>();
1b1a35ee XL	15	//~^ ERROR `Rc<u32>` cannot be sent between threads safely [E0277]
1b1a35ee XL	16	//~^^ ERROR `Rc<u32>` cannot be shared between threads safely [E0277]
9fa01778	17	}