Repository navigation
[SUGGESTION] Requires clause for aliases #407
Description
Activity
This is better dealt with after #486.
A test: https://cpp2.godbolt.org/z/bxsvexdxr.
integer_t: <T> type requires std::integral<T> == T; integer_v: <V: _> _ requires std::integral<decltype(V)> == V; main: () = { std::ignore = integer_t<u32>(integer_v<:u32 = 0>); static_assert(!std::invocable<decltype(:<T> (x: T) -> integer_t<T> = {}), std::nullptr_t>); static_assert(!std::invocable<decltype(:<T> (x: T) -> std::type_identity_t<decltype(integer_v<:T = nullptr>)> = {}), std::nullptr_t>); }- Repository owner locked and limited conversation to collaborators
on Aug 30, 2023
A natural extension to 63efa6e.
Will your feature suggestion eliminate X% of security vulnerabilities of a given kind in current C++ code? No.
Will your feature suggestion automate or eliminate X% of current C++ guidance literature?
(Make it possible to) make the default:
No longer teach:
enable_ifDescribe alternatives you've considered.
https://cpp2.godbolt.org/z/Mr9TMo7xG: