Skip to content

kind conformance and existentials #4721

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
scabug opened this issue Jun 20, 2011 · 2 comments
Closed

kind conformance and existentials #4721

scabug opened this issue Jun 20, 2011 · 2 comments
Labels
minimized typer

Comments

@scabug
Copy link

scabug commented Jun 20, 2011

From the comments of #2308.

trait Request[IN[_]]
trait T[A]
(null: Request[T]) : (Request[IN] forSome { type IN[_] })
@scabug
Copy link
Author

scabug commented Jun 20, 2011

Imported From: https://issues.scala-lang.org/browse/SI-4721?orig=1
Reporter: @paulp
See #2308

@scabug scabug added this to the Backlog milestone Apr 7, 2017
This was referenced Apr 7, 2017
Closed
Open
@scala scala deleted a comment from scabug Feb 2, 2023
@SethTisue
Copy link
Member

seems highly unlikely to progress, given that forSome was removed from Scala 3

@SethTisue SethTisue removed this from the Backlog milestone Feb 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
minimized typer
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@SethTisue @scabug