Skip to content
This repository has been archived by the owner on Oct 19, 2023. It is now read-only.

inline modifiers #26

Closed
intsuc opened this issue Nov 15, 2022 · 1 comment
Closed

inline modifiers #26

intsuc opened this issue Nov 15, 2022 · 1 comment
Assignees
@intsuc
Labels
enhancement New feature or request language Language design priority: normal

Comments

@intsuc
Copy link
Member

intsuc commented Nov 15, 2022

No description provided.

@intsuc intsuc added the enhancement New feature or request label Nov 15, 2022
@intsuc intsuc self-assigned this Nov 15, 2022
@intsuc intsuc mentioned this issue Nov 15, 2022
Closed
1 task
@intsuc intsuc closed this as completed in 6ed23d4 Nov 17, 2022
@intsuc intsuc changed the title @inline annotations inline modifiers Mar 28, 2023
@intsuc intsuc reopened this Mar 28, 2023
@intsuc
Copy link
Member Author

intsuc commented May 29, 2023

Closed since inlining can be achieved by staging. Possible reopen in the future due to ergonomics.

@intsuc intsuc closed this as not planned Won't fix, can't repro, duplicate, stale May 29, 2023
@intsuc intsuc reopened this Jul 21, 2023
@intsuc intsuc closed this as completed in 6e78890 Jul 22, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@intsuc intsuc

Labels
enhancement New feature or request language Language design priority: normal
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@intsuc