void f(int) noexcept { }
void f(int, int) { }

int main() {
    static_assert(noexcept(f(0)), "!");
    static_assert(not noexcept(f(0, 0)), "!");
}

#include<utility>

struct S { S(int) {} };

void f(S) noexcept { }

int main() {
    static_assert(noexcept(f(std::declval<S>())), "!");
}

int a(int) noexcept;
int a(int, int);

// What would `noexcept(a)` mean?