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.

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

meta @ aux looses variance #11

Open
DmytroMitin opened this issue Jul 25, 2019 · 0 comments
Open

meta @ aux looses variance #11

DmytroMitin opened this issue Jul 25, 2019 · 0 comments
Labels
bug Something isn't working meta

Comments

@DmytroMitin
Copy link
Owner

DmytroMitin commented Jul 25, 2019

https://github.com/DmytroMitin/AUXify/blob/master/meta-out/target/scala-2.12/src_managed/main/scala/com/github/dmytromitin/auxify/meta/AuxIn.scala

looses variance for class B[+T >: Null <: AnyRef : Ordering, ... -_[+_ <: AnyRef] <: AnyRef] ... type U4[+_ <: AnyRef] <: AnyRef
type Aux[T >: Null <: AnyRef ..., tparam$meta$9[+_ <: AnyRef]...
type U4[tparam$meta$8 <: AnyRef] = U40$meta$6[tparam$meta$8

what to do with view and context bounds?

DmytroMitin added a commit that referenced this issue Jul 25, 2019
@DmytroMitin DmytroMitin changed the title meta @uax meta @ aux Jul 25, 2019
@DmytroMitin DmytroMitin changed the title meta @ aux meta @ aux looses variance Jul 25, 2019
@DmytroMitin DmytroMitin added bug Something isn't working meta labels Jul 25, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working meta
Projects
None yet
Development

No branches or pull requests

1 participant