cpp/types/result of

Deduces the return type of an INVOKE expression at compile time.