tests/ui/coherence/coherence-overlap-negative-trait2.rs

   1 // check-pass
   2 // aux-build:option_future.rs
   3 //
   4 // Check that if we promise to not impl what would overlap it doesn't actually overlap
   5
   6 #![feature(rustc_attrs)]
   7 #![feature(with_negative_coherence)]
   8
   9 extern crate option_future as lib;
  10 use lib::Future;
  11
  12 trait Termination {}
  13
  14 impl<E> Termination for Option<E> where E: Sized {}
  15 impl<F> Termination for F where F: Future + Sized {}
  16
  17 fn main() {}