Skip to content

Purity flag: Fix purity flag for struct instance member access.#16626

Open
rodiazet wants to merge 3 commits intorework-native-membersfrom
purity-flag-struct
Open

Purity flag: Fix purity flag for struct instance member access.#16626
rodiazet wants to merge 3 commits intorework-native-membersfrom
purity-flag-struct

Conversation

@rodiazet
Copy link
Copy Markdown
Contributor

@rodiazet rodiazet commented Apr 20, 2026

This is a part of bigger Rework purity flag setting for constant variables accessed via member access. which was splitted into a couple of smaller PRs.

This PR sets purity flag for constant struct instance.

Struct instance member can be only variable or a library function attached to the struct. For now the only possible way to have constant/pure struct instance is by inline declaration i.e. S(1).v

Depends on: #16625

@rodiazet rodiazet requested review from cameel and clonker April 20, 2026 15:21
@rodiazet rodiazet added the has dependencies The PR depends on other PRs that must be merged first label Apr 20, 2026
@rodiazet rodiazet force-pushed the rework-native-members branch from b1e82f4 to f447e1f Compare April 22, 2026 08:38
@rodiazet rodiazet force-pushed the rework-native-members branch from f447e1f to 481f091 Compare April 22, 2026 08:39
Struct instance member can be only variable or a library function attached to the struct. For now the only possible way to have constant/pure struct instance is by inline declaring i.e. `S(1).v`
@rodiazet rodiazet force-pushed the purity-flag-struct branch from 5c6a406 to 73f369a Compare April 22, 2026 08:41
@rodiazet rodiazet force-pushed the rework-native-members branch from 481f091 to b405fb9 Compare April 22, 2026 08:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

has dependencies The PR depends on other PRs that must be merged first

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant