[rustc.git] / src / test / ui / coherence / coherence-fundamental-trait-objects.rs

// Check that trait objects from #[fundamental] traits are not
// treated as #[fundamental] types - the 2 meanings of #[fundamental]
// are distinct.

// aux-build:coherence_fundamental_trait_lib.rs

extern crate coherence_fundamental_trait_lib;

use coherence_fundamental_trait_lib::{Fundamental, Misc};

pub struct Local;
impl Misc for dyn Fundamental<Local> {}
//~^ ERROR E0117

fn main() {}
Commit	Line	Data
0731742a XL	1	// Check that trait objects from #[fundamental] traits are not
	2	// treated as #[fundamental] types - the 2 meanings of #[fundamental]
	3	// are distinct.
	4
	5	// aux-build:coherence_fundamental_trait_lib.rs
0731742a XL	6
	7	extern crate coherence_fundamental_trait_lib;
	8
	9	use coherence_fundamental_trait_lib::{Fundamental, Misc};
	10
	11	pub struct Local;
	12	impl Misc for dyn Fundamental<Local> {}
60c5eb7d	13	//~^ ERROR E0117
0731742a XL	14
0731742a XL	15	fn main() {}