Resolving UnionAlls with a single concrete instance in struct declarations

[nsajko]

@brainandforce

Can there be a mechanism for the Julia compiler to resolve almost concrete types in struct declarations like SMatrix{N,N,T}, which only have a single concrete instance, to avoid the type instability and performance hit? Perhaps some sort of function

I once created and registered a package with this exact purpose, TypeCompletion.jl. Topic on Discourse:

• [ANN] TypeCompletion.jl: exploit redundancy to complete UnionAll types

Disclaimer: I have not taken a look at that package for some time. It might not be well-maintained. It might not follow some best practice. The design might not be how I would do it if I were to do it today again.

If you are interested in maintaining/developing it, I can transfer or whatever.