doobie icon indicating copy to clipboard operation
doobie copied to clipboard
verified publisher icon tpolecat

1.0.0-RC6: Highlighting issue in IDEA when summoning an `MkRead` instance

Open notxcain opened this issue 1 year ago • 2 comments

Hi!

IDEA thinks that LowerPriorityRead#generic and ReadPlatform#genericTuple have the same priority.

Maybe we should move ReadPlatform#genericTuple to MkReadPlatform?

Repro:

implicitly[MkRead[(Int, String)]]
image

Same issue with Read.derived.

notxcain avatar Sep 19 '24 12:09 notxcain

Thanks for the report. Read and MkRead serves different purposes as the latter is mainly used for triggering automatic derivation. Typically you shouldn't need to work with MkRead explicitly is there a particular reason why you want to summon MkRead? Are you getting compilation errors?

jatcwang avatar Sep 19 '24 14:09 jatcwang

@jatcwang the main reason is that Read.derived gets reported as having ambiguous implicits, implicitly[MkRead[(Int, String)]] is just a reproducer.

notxcain avatar Sep 19 '24 14:09 notxcain

Doesn't seem to be an issue anymore. (commit 0e2b9b6 on main)

Image

This was most likely resolved as part of the rework of the derivation / resolution due to go out in RC7. Thanks for the report!

jatcwang avatar Jan 30 '25 22:01 jatcwang