src/test/ui/coherence/coherence-overlap-negative-trait.rs

   1 // check-pass
   2 // aux-build:error_lib.rs
   3 //
   4 // Check that if we promise to not impl what would overlap it doesn't actually overlap
   5
   6 #![feature(with_negative_coherence)]
   7
   8 extern crate error_lib as lib;
   9 use lib::Error;
  10
  11 trait From<T> {}
  12
  13 impl From<&str> for Box<dyn Error> {}
  14 impl<E> From<E> for Box<dyn Error> where E: Error {}
  15
  16 fn main() {}