Closed
Description
Compiler version
3.0.0
Minimized code
case class Wrapper[A <: Singleton](a: A)(using ValueOf[A])
def test[A <: Singleton](blabla: Wrapper[A]): Unit = ()
test(Wrapper("yo"))
Output
No singleton value available for A
where: A is a type variable with constraint >: ("yo" : String) and <: Singleton
Expectation
It looks like the compiler could infer the right type for A
("yo": String
) but then it can't find a ValueOf
instance for it