allow selectDynamic to have optional type parameter - unified with type of field #18778
Closed
Katrix
started this conversation in
Feature Requests
Replies: 2 comments
-
I don't know why GitHub doesn't link to the new location the ticket was moved to: #17818 (dotty-feature-requests repo was closed down and all the tickets became discussions in this repo) |
Beta Was this translation helpful? Give feedback.
0 replies
-
It is also misleading that the feature requests were purple-closed for "completed". Purple-closing is not universally or uniformly respected in the repo anyway. But I'm already trained to salivate when I see purple. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Revived discussion on this I guess. lampepfl/dotty-feature-requests#268
I thought this worked because the issue was closed and it seemed to be implemented, but it turns out it doesn't for some reason? Also can't find the commit that fixed it in the dotty commit graph. Not sure if I should open this as a bug or a feature request, but if I am correct in that the fix was never released, then I guess feature request?
Beta Was this translation helpful? Give feedback.
All reactions