On Mon, Sep 21, 2015 at 8:09 AM, Tommy Hofmann <[email protected]> wrote: > @Tomas: I also want contains_any(Array{Any, 2}) == > contains_any(Union{Integer, Any}) == true. I tried isleaftype before but > isleaftype(Integer) == isleaftype(Any) == false, i.e. I cannot distinguish > between abstract types and Any. > > @Mauro: Thanks for the T.parameters hint. This looks like the right tool. > > I use this to check wether the functions in my module have a bad return type > causing type inference problems. Thus it does not have to be the fastest > solution (of course I appreciate faster and more elegant solutions).
Any non-leaf type can be a type inference problem. > > Thanks for your help, > Tommy
