src/test/ui/coherence/coherence-impl-trait-for-trait-object-safe.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

// Test that we give suitable error messages when the user attempts to
// impl a trait `Trait` for its own object type.

// revisions: old re

#![cfg_attr(re, feature(re_rebalance_coherence))]

// If the trait is not object-safe, we give a more tailored message
// because we're such schnuckels:
trait NotObjectSafe { fn eq(&self, other: Self); }
impl NotObjectSafe for NotObjectSafe { }
//[old]~^ ERROR E0038
//[re]~^^ ERROR E0038

fn main() { }