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

[notxcain]

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)]]

Same issue with Read.derived.

[jatcwang]

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?

[notxcain]

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