Type stable Base.return_types - is it possible?

[nsajko]

@nsajko

So, instead of your imagined Function{R}, you can use ComposedFunction{Base.Fix2{typeof(typeassert), Type{R}}}. You’d perhaps want a type alias to make it shorter.

A package to make that simpler is EnforcedTypeSignatureCallables.jl. Discourse thread (may wish to scroll down to the v3 announcement):

• [ANN] EnforcedTypeSignatureCallables.jl - #11 by nsajko