julia

1f66a667 - return_type_tfunc was too pessimistic

return_type_tfunc was too pessimistic make Union{} a leaftype (and also Tuples of Unions) and ensure return_type_tfunc will infer as much as possible