New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Add TypeRef case to extractSingletonValue via inferImplicitValue #2

Open

DmytroMitin opened this issue Aug 3, 2020 · 0 comments

Owner

DmytroMitin commented Aug 3, 2020

def foo[A/*: Witness.Aux*/](implicit w: Witness.Aux[A]): Unit = {
  Witness[A] //Type argument A=TypeRef(NoPrefix, TypeName("A"), List()) is not a singleton type
}

# for free to join this conversation on GitHub. Already have an account? # to comment