mirror of https://github.com/rust-lang/rust
42 lines
886 B
Rust
42 lines
886 B
Rust
trait Trait {
|
|
fn foo<U>() {}
|
|
}
|
|
impl Trait for () {
|
|
fn foo<const M: u64>() {}
|
|
//~^ error: method `foo` has an incompatible generic parameter for trait
|
|
}
|
|
|
|
trait Other {
|
|
fn bar<const M: u8>() {}
|
|
}
|
|
impl Other for () {
|
|
fn bar<T>() {}
|
|
//~^ error: method `bar` has an incompatible generic parameter for trait
|
|
}
|
|
|
|
trait Uwu {
|
|
fn baz<const N: u32>() {}
|
|
}
|
|
impl Uwu for () {
|
|
fn baz<const N: i32>() {}
|
|
//~^ error: method `baz` has an incompatible generic parameter for trait
|
|
}
|
|
|
|
trait Aaaaaa {
|
|
fn bbbb<const N: u32, T>() {}
|
|
}
|
|
impl Aaaaaa for () {
|
|
fn bbbb<T, const N: u32>() {}
|
|
//~^ error: method `bbbb` has an incompatible generic parameter for trait
|
|
}
|
|
|
|
trait Names {
|
|
fn abcd<T, const N: u32>() {}
|
|
}
|
|
impl Names for () {
|
|
fn abcd<const N: u32, T>() {}
|
|
//~^ error: method `abcd` has an incompatible generic parameter for trait
|
|
}
|
|
|
|
fn main() {}
|