I have a question about the following code. It can be manually inferred that the return type of ttest must be Union{Nothing,ClassA,ClassB,ClassC}, and I even annotate the type of the return value, c, to the compiler. But the @code_warntype still gives Any type. Why does this happen? I think the re…

Why was the original Union return type parsed as type Any?

abraemer September 5, 2024, 7:58am 3

Yes 4 is the magic number for union splitting. If you want to have efficient code for larger unions, consider using DynamicalSumTypes.jl

2 Likes

Topic		Replies	Views
How (or whether) to force correct handling of different return types? General Usage	2	363	August 13, 2019
Help: can anyone tell me why julia is not correctly inferring the return type? General Usage	11	1091	October 5, 2017
Indexing operation results in `::ANY` using `code_warntype` General Usage	1	503	July 31, 2017
Type stability for returning abstract types General Usage performance , type , type-stability	1	727	May 14, 2018
Type inference of sum result General Usage question	2	563	December 26, 2016