rust/tests/ui/coherence/coherence-overlap-negative-...

17 lines
342 B
Rust

//@ check-pass
//@ aux-build:error_lib.rs
//
// Check that if we promise to not impl what would overlap it doesn't actually overlap
#![feature(with_negative_coherence)]
extern crate error_lib as lib;
use lib::Error;
trait From<T> {}
impl From<&str> for Box<dyn Error> {}
impl<E> From<E> for Box<dyn Error> where E: Error {}
fn main() {}