PR #29386 [ty] Reject attribute writes through object

[ty] Reject attribute writes through object #29386

carljm wants to merge 4 commits into main from cjm/reject-object-attribute-writes

carljm added bug

carljm added ty

carljm added bug

carljm added ty

carljm requested a review from

AlexWaygood 30 days ago

carljm marked this pull request as ready for review 30 days ago

carljm requested a review 30 days ago

[ty] Reject attribute writes through object

64353258

[ty] Derive attribute write restrictions from member lookup

4a624fb2

[ty] Make type variable bound match exhaustive

a272c5d0

carljm force pushed from 3947cc37 to a272c5d0 11 days ago

[ty] Preserve explicit descriptor write contracts

a03faf56

Reviewers

AlexWaygood

Assignees

No one assigned

Labels

bug ty

Milestone

No milestone