 |
welder 0.1.0
Bindings for annotated C++ types, from C++26 reflection
|
|
welder 0.1.0
Bindings for annotated C++ types, from C++26 reflection
|
A placeholder class type for shape-probing a member template inside a concept. More...
#include <welder/concepts.hpp>
A placeholder class type for shape-probing a member template inside a concept.
A concept cannot quantify over every type a member template accepts, so the seam concepts here (welder::caster_oracle, welder::resolution) instantiate the hook once with this stand-in and check only the resulting shape — the value it answers is never inspected. It is a complete, base-less class (so a probe that reflects over its bases sees an empty set) that carries no meaning of its own: it simply spells "the type is irrelevant here".
Definition at line 51 of file concepts.hpp.
1.17.0