16 lines
396 B
Rust
16 lines
396 B
Rust
// 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() {}
|