src/test/ui/coherence/coherence-fundamental-trait-objects.rs

   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
   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> {}
  13 //~^ ERROR E0117
  14
  15 fn main() {}