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
My first question is whether the like method should compile? Because within that function this is ExprData<T>, where T is supposed to be an unconstrained type parameter and it doesn't sound like it should pass the T:String constraint check of Like.
Secondly, if we add inline to the ofData method, we actually get an error talking about this:
src/Main.hx:19: characters 23-27 : error: Expr.T should be String
src/Main.hx:19: characters 23-27 : ... have: (ExprData<String>) -> ...
src/Main.hx:19: characters 23-27 : ... want: (ExprData<Expr.T>) -> ...
src/Main.hx:19: characters 23-27 : ... For function argument 'a'
And thirdly, looks like have and want are swapped in this error message?
The text was updated successfully, but these errors were encountered:
I extracted this from
tink_sql
:My first question is whether the
like
method should compile? Because within that functionthis
isExprData<T>
, whereT
is supposed to be an unconstrained type parameter and it doesn't sound like it should pass theT:String
constraint check ofLike
.Secondly, if we add
inline
to theofData
method, we actually get an error talking about this:And thirdly, looks like
have
andwant
are swapped in this error message?The text was updated successfully, but these errors were encountered: