blob: 4a5e445d1efbe0a7eb7dc0bfda9f6c0c10ef8c7e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
#![feature(trait_upcasting)]
#![feature(trait_alias)]
// Although we *elaborate* `T: Alias` to `i32: B`, we should
// not consider `B` to be a supertrait of the type.
trait Alias = A where i32: B;
trait A {}
trait B {
fn test(&self);
}
trait C: Alias {}
impl A for () {}
impl C for () {}
impl B for i32 {
fn test(&self) {
println!("hi {self}");
}
}
fn test(x: &dyn C) -> &dyn B {
x
//~^ ERROR mismatched types
}
fn main() {
let x: &dyn C = &();
}
|