Skip to content

This issue was moved to a discussion.

You can continue the conversation there. Go to discussion →

allow dependent types in class parameter #17632

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
doofin opened this issue May 15, 2023 · 0 comments
Closed

allow dependent types in class parameter #17632

doofin opened this issue May 15, 2023 · 0 comments

Comments

@doofin
Copy link

doofin commented May 15, 2023

currently, it's only possible to get value from [I <: Int] for inline def using constValueOpt, but it'll be useful if constValueOpt also works for class parameter like class MyClass[I <: Int] {} #17387
@ckipp01 ckipp01 transferred this issue from lampepfl/dotty-feature-requests May 31, 2023
@scala scala locked and limited conversation to collaborators May 31, 2023
@ckipp01 ckipp01 converted this issue into discussion #17633 May 31, 2023

This issue was moved to a discussion.

You can continue the conversation there. Go to discussion →

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@doofin