mirror of https://github.com/rust-lang/rust
28 lines
590 B
Rust
28 lines
590 B
Rust
trait Foo<B> {
|
|
fn bar(&self){}
|
|
}
|
|
|
|
impl Foo<u8> for i8 {}
|
|
impl Foo<u16> for i8 {}
|
|
impl Foo<u32> for i8 {}
|
|
impl Foo<u64> for i8 {}
|
|
impl Foo<bool> for i8 {}
|
|
|
|
impl Foo<u16> for u8 {}
|
|
impl Foo<u32> for u8 {}
|
|
impl Foo<u64> for u8 {}
|
|
impl Foo<bool> for u8 {}
|
|
|
|
impl Foo<u8> for bool {}
|
|
impl Foo<u16> for bool {}
|
|
impl Foo<u32> for bool {}
|
|
impl Foo<u64> for bool {}
|
|
impl Foo<bool> for bool {}
|
|
impl Foo<i8> for bool {}
|
|
|
|
fn main() {
|
|
Foo::<i32>::bar(&1i8); //~ ERROR is not satisfied
|
|
Foo::<i32>::bar(&1u8); //~ ERROR is not satisfied
|
|
Foo::<i32>::bar(&true); //~ ERROR is not satisfied
|
|
}
|