[clang] Consideration of constraints for address of overloaded function (CWG2918) is not implemented

[03F001]

clang 19.1

#include <concepts>

template <typename T>
void f(T) {}

template <typename T>
requires std::same_as<T, int>
void f(T) {}

int main() {
	auto a = f<int>; // error: variable 'a' with type 'auto' has incompatible initializer of type '<overloaded function type>'
}

I don't know whether this should compile, but gcc does accept it. At least the diagnostic could use some work.

https://godbolt.org/z/bojPze9Kf

[llvmbot]

@llvm/issue-subscribers-clang-frontend

Author: None (03F001)

clang 19.1

#include <concepts>

template <typename T>
void f(T) {}

template <typename T>
requires std::same_as<T, int>
void f(T) {}

int main() {
	auto a = f<int>; // error: variable 'a' with type 'auto' has incompatible initializer of type '<overloaded function type>'
}

I don't know whether this should compile, but gcc does accept it. At least the diagnostic could use some work.

https://godbolt.org/z/bojPze9Kf

[cor3ntin]

This is CWG2918 (which we do not yet implement)

[llvmbot]

@llvm/issue-subscribers-c-20

Author: None (03F001)

clang 19.1

#include <concepts>

template <typename T>
void f(T) {}

template <typename T>
requires std::same_as<T, int>
void f(T) {}

int main() {
	auto a = f<int>; // error: variable 'a' with type 'auto' has incompatible initializer of type '<overloaded function type>'
}

I don't know whether this should compile, but gcc does accept it. At least the diagnostic could use some work.

https://godbolt.org/z/bojPze9Kf