You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Given an environment where T is not bound to some type, I can get this error message:
Foo.scala:21:error: typemismatch;
found : Foo.Exp[Seq[T]]
required: Foo.Exp[Seq[Nothing]]
assertType[Exp[Seq[Nothing]]](v)
^
where the T in the output message is an uninferred type parameter!
The core of the offending code is:
valempty=Const(Seq.empty)
//...Implicit conversions to pimp map and head on Const[Seq[T]]...valv= empty.map(x => empty.head)
//Not fine:
assertType[Exp[Seq[Nothing]]](v)
@milessabin You might want to triage this; I suspect "considering more variables" might be more approachable than "changing the inferred type for variables that are already inferred".
I think this is most likely a consequence of a Nothing doing double duty as "unsolved". I definitely want to take a look at that problem at some point.
Given an environment where T is not bound to some type, I can get this error message:
where the T in the output message is an uninferred type parameter!
The core of the offending code is:
See https://gist.github.com/3830228 for the complete code (I can attach it here if important).
As a consequence, in 2.10 that expression cannot be passed to this function:
The text was updated successfully, but these errors were encountered: