Aleph::concepts_detail::defer< T, Deferred > Struct Template Reference

T itself, made dependent on Deferred. More...

#include <ah-concepts.H>

Public Types
using	type = T

Detailed Description

template<class T, class Deferred>
struct Aleph::concepts_detail::defer< T, Deferred >

T itself, made dependent on Deferred.

For requires-clauses on member templates of CRTP mixins that name the derived Container: routing it through a type that depends on the member template's own parameter defers its use until the constraint is checked. Named directly, Clang 14 binds it when the CRTP base is instantiated, while Container is still incomplete, and then either hard-errors or reports "incomplete type".

Template Parameters

T	the type to forward.
Deferred	any type dependent on the member template.

Definition at line 551 of file ah-concepts.H.

Member Typedef Documentation

type

template<class T , class Deferred >

using Aleph::concepts_detail::defer< T, Deferred >::type = T

Definition at line 553 of file ah-concepts.H.

---

The documentation for this struct was generated from the following file:

• ah-concepts.H