//@ run-pass
//@ check-run-results
//@ ignore-backends: gcc
// FIXME: linking on windows (specifically mingw) not yet supported, see tracking issue #125418
//@ ignore-windows
// Tests whether one function could implement two EIIs.
#![feature(extern_item_impls)]

#[eii]
fn a(x: u64);

#[eii]
fn b(x: u64);

#[a]
#[b]
fn implementation(x: u64) {
    println!("{x:?}")
}

// what you would write:
fn main() {
    a(42);
    b(42);
}