2024-03-30 00:21:25 +01:00
|
|
|
//@ known-bug: #121411
|
2024-10-30 18:03:44 +00:00
|
|
|
#![feature(const_trait_impl)]
|
2024-03-30 00:21:25 +01:00
|
|
|
|
|
|
|
#[const_trait]
|
|
|
|
trait Foo {
|
|
|
|
fn into_iter(&self) {}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl const Foo for () {
|
|
|
|
fn into_iter(a: u32, b: u32) {}
|
|
|
|
}
|
|
|
|
|
|
|
|
const _: () = Foo::into_iter(&());
|