Wrong type passed to withFieldConst results with ClassCastException about chimney HOT 8 CLOSED

Would this work? def withFieldConst[T, U](selector: To => T, value: U)(implicit ev: T =:= U)

Edit: forget it, I just noticed you mentioned <:<... it's not my day, for sure :P

from chimney.

Well, almost.
We require only subtyping relation between U and T. The function is implemented with whitebox macro that already takes implicit weak type tags, so just putting such evidence would interfere with macro signature.
The same subtyping check we can do in macro code, which I think would work well.

from chimney.

Sounds like a plan

from chimney.

Would you like to try it out?

from chimney.

I don't have a usecase yet, I guess. Just added chimney to my project :P

from chimney.

I meant fixing the issue :p

from chimney.

from chimney.

Closing as fixed with #68

from chimney.