julia
Extend `PartialStruct` to represent non-contiguously defined fields
#57304
Merged
Merged
Extend `PartialStruct` to represent non-contiguously defined fields #57304
topolarity
merged
29 commits into
JuliaLang:master
from
serenity4:extend-partialstruct
Extend `PartialStruct` with an additional `defined` field
b25a8a77
Add constprop test
67b12f81
Satisfy typo checker
58827f0a
Remove trailing whitespace
1274f23a
Fix binding access
ede6dc77
Retrigger tests
f361ab28
topolarity
commented
on 2025-02-07
Merge branch 'master' of github.com:JuliaLang/julia into extend-parti…
201c956b
defined -> undef
67b91683
Record undef & field information for all PartialStruct fields
3857bafe
Merge branch 'master' of github.com:JuliaLang/julia into extend-parti…
00b11351
Fix tests
c9ee9b01
Remove unnecessary function
ced6296d
Merge branch 'master' of github.com:JuliaLang/julia into extend-parti…
c6e70995
Fix unsoundness for `⊑`, don't widen undef information for PartialStruct
b44dfb57
Merge branch 'master' of github.com:JuliaLang/julia into extend-parti…
a2720118
Merge branch 'master' of github.com:JuliaLang/julia into extend-parti…
02746fa9
aviatesk
commented
on 2025-02-18
Apply suggestions from code review
b1efbe55
Merge branch 'master' of github.com:JuliaLang/julia into extend-parti…
741b52fd
Allow sparse field type information, remove mutations in constructor
73095063
Merge branch 'master' of github.com:JuliaLang/julia into extend-parti…
5947f492
Remove unused utility
d771b94e
Refactor `define_field`, don't overwrite defined field type
b20cf698
Minor polish
32d3a893
Merge branch 'master' into extend-partialstruct
feda5d2c
aviatesk
approved these changes
on 2025-02-21
Merge branch 'master' into pr/serenity4/57304
43ad003f
fix minor lattice order issue
b95df252
topolarity
commented
on 2025-02-21
Remove `is_field_initialized` check
bbee4beb
Rename `is_field_initialized` -> `!is_field_maybe_undef`
02365ae1
Add test
4f53c480
Login to write a write a comment.
Login via GitHub