Skip to content
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

Simplify simple forSome existential types into wildcard existentials #353

Open
wiwa opened this issue Jan 25, 2019 · 2 comments · May be fixed by #483
Open

Simplify simple forSome existential types into wildcard existentials #353

wiwa opened this issue Jan 25, 2019 · 2 comments · May be fixed by #483
Labels
Scalafix
Milestone
M7

Comments

@wiwa
Copy link
Contributor

wiwa commented Jan 25, 2019

Instead of ascribing

val x: Foo[X] forSome { type X }

we will ascribe

val x: Foo[_]
@wiwa wiwa added the Scalafix label Jan 25, 2019
@wiwa wiwa added this to the M6 milestone Jan 28, 2019
@xeno-by xeno-by changed the title RscCompat: simplify simple forSome existential types into wildcard existentials Simplify simple forSome existential types into wildcard existentials Jan 28, 2019
@xeno-by xeno-by removed this from the M6 milestone Jan 30, 2019
@wiwa wiwa added this to the M7 milestone Jul 4, 2019
@ShaneDelmore
Copy link
Contributor

This is an old ticket and we don't have a reproduction for the issue or know if it is still valid so I am closing it for now.

@wiwa
Copy link
Contributor Author

wiwa commented Aug 8, 2019

Given:

class Box[A]

def foo = null.asInstanceOf[Box[_]]

Obtained:

def foo: Box[T1] forSome { type T1 } = null.asInstanceOf[Box[_]]

Expected:

def foo: Box[_] = null.asInstanceOf[Box[_]]

Relates to #471 and requires Box to be invariant.

@wiwa wiwa reopened this Aug 8, 2019
@wiwa wiwa linked a pull request Oct 1, 2019 that will close this issue
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Scalafix
Milestone
M7
Development

Successfully merging a pull request may close this issue.

Simplify forSome statements into wildcard existentials (fix #471) wiwa/rsc
3 participants
@xeno-by @wiwa @ShaneDelmore