On Tuesday, 21 February 2023 13:27:57 PST Christoph Meyer via Std-Proposals
wrote:
> ```c++
> template <has_inner_type T>
> void foo(T value)
> {
> T::inner innerValue;
> // do something with value and innerValue
> }
> ```

Would it also apply to types that are not checked by the concept constraint?

template <has_inner_type T>
void foo(T value)
{
    T::outer innerValue;
    // do something with value and innerValue
}

-- 
Thiago Macieira - thiago (AT) macieira.info - thiago (AT) kde.org
   Software Architect - Intel DCAI Cloud Engineering