- Notifications
You must be signed in to change notification settings - Fork14.5k
Closed
Description
Similar to#49188, but whereas in that issue the problem was anauto
return type being deduced tovoid
, here the problem is theauto
in the return type being modified by a pointer qualification. For example:https://godbolt.org/z/T8j3j7j58
namespace Bug { template<class T> concept C = false; C auto *f() { return (int*)nullptr; }}
This should be a hard error, becauseauto
deduces toint
andC<int>
is false. But instead, Clang silently accepts!
Metadata
Metadata
Assignees
Labels
Type
Projects
Status
No status