I have a quite complicated parametric type that contains a simple Int64 field like: struct A{T, U, V, W, X, Y} n::Int64 ... (a lot of other possibly parametric-typed fields) end a = A(3, .....) when I try to do @code_warntype a.n, I got a warntype like: Body::Any 1 ─ %1 = Base.getfield(x…

Base.getfield() gives warntype?

Tamas_Papp December 4, 2019, 11:22am 2

Please include a self-contained MWE.

1 Like

Topic		Replies	Views
Getproperty/getfield type instability? New to Julia	3	897	October 23, 2022
Accessing the field of `Pair` seems to be type-unstable General Usage type-stability	3	498	March 17, 2022
Parametric type: type stable getfield New to Julia parametric-types , type-stability	7	1187	October 30, 2018
Unexpected [red] Any from code_warntype New to Julia	13	1441	December 5, 2018
Advice to make getfield(::NamedTuple, ::Symbol) typestable Performance	19	1000	March 25, 2022