julia
34b40b8b - effects: improve analysis for `getfield` on `Type`-object

Commit

2 years ago

effects: improve analysis for `getfield` on `Type`-object `Type`-object never has "undef" field and we should prove `getfield` access to `Type`-object is `:consistent`.

References

#46329 - effects: some improvements for type-based-effects-analysis

Author

aviatesk

Committer

aviatesk

Parents

a6122206

julia 34b40b8b - effects: improve analysis for `getfield` on `Type`-object

julia
34b40b8b - effects: improve analysis for `getfield` on `Type`-object