blob: 041bd0e3855ec29754b839a769f28696fe856e74 (
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
|
use std::marker::PhantomData;
fn _alias_check() {
WrongImpl::foo(0i32);
//~^ ERROR the trait bound `RawImpl<_>: Raw<_>` is not satisfied
WrongImpl::<()>::foo(0i32);
//~^ ERROR the trait bound `RawImpl<()>: Raw<()>` is not satisfied
//~| ERROR trait bounds were not satisfied
CorrectImpl::foo(0i32);
}
pub trait Raw<T: ?Sized> {
type Value;
}
pub type WrongImpl<T> = SafeImpl<T, RawImpl<T>>;
pub type CorrectImpl<T> = SafeImpl<[T], RawImpl<T>>;
pub struct RawImpl<T>(PhantomData<T>);
impl<T> Raw<[T]> for RawImpl<T> {
type Value = T;
}
pub struct SafeImpl<T: ?Sized, A: Raw<T>>(PhantomData<(A, T)>);
impl<T: ?Sized, A: Raw<T>> SafeImpl<T, A> {
pub fn foo(value: A::Value) {}
}
fn main() {}
|
