summaryrefslogtreecommitdiffstats
path: root/src/test/ui/coherence/coherence-overlap-negative-trait.rs
blob: 8059d23ffd215f9b4df5a09900fb003ed893bf40 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
// 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() {}