julia
inference: allow `PartialStruct` to represent strict undef field
#57541

Merged

inference: allow `PartialStruct` to represent strict undef field #57541

giordano merged 1 commit into master from avi/strict-undef-fields

aviatesk force pushed from 6c81b84a to f0b8a63a 1 year ago

aviatesk force pushed from f0b8a63a to 245049e2 1 year ago

aviatesk force pushed from 245049e2 to c8dcd2c4 1 year ago

serenity4 commented on 2025-02-26

aviatesk force pushed from c8dcd2c4 to 1397a8b3 1 year ago

aviatesk changed the title ~~wip: inference: allow `PartialStruct` to have `Union{}` field to indicate strict undef~~ inference: allow `PartialStruct` to have `Union{}` field to indicate strict undef 1 year ago

aviatesk commented on 2025-02-27

aviatesk force pushed from 1397a8b3 to b00838ba 1 year ago

nsajko commented on 2025-02-27

nsajko added compiler:inference

aviatesk force pushed from b00838ba to e9ee6e4e 1 year ago

aviatesk force pushed from e9ee6e4e to 1475330f 1 year ago

aviatesk added merge me

topolarity commented on 2025-02-28

aviatesk changed the title ~~inference: allow `PartialStruct` to have `Union{}` field to indicate strict undef~~ inference: allow `PartialStruct` to represent strict undef field 1 year ago

aviatesk force pushed from 1475330f to 1545900a 1 year ago

aviatesk force pushed from 1545900a to 87fc6cf5 1 year ago

inference: allow `PartialStruct` to represent strict undef fields

d10579ba

aviatesk force pushed from 87fc6cf5 to d10579ba 1 year ago

giordano merged 5a2faa4c into master 1 year ago

giordano deleted the avi/strict-undef-fields branch 1 year ago

giordano removed merge me

benlorenz commented on 2025-03-02

Reviewers

topolarity

serenity4

benlorenz

nsajko

Assignees

No one assigned

Labels

compiler:inference

Milestone

No milestone

julia inference: allow `PartialStruct` to represent strict undef field #57541 Merged

inference: allow `PartialStruct` to represent strict undef field #57541

julia
inference: allow `PartialStruct` to represent strict undef field
#57541

Merged