SIP 66: Explore feasibility of inline conversions with alternative design

Explore the concerns of https://github.com/scala/improvement-proposals/pull/86#issuecomment-2543342919.

When we proposed inline type classes for collection literals, this issue did not come up. Can the technique be ported to inline conversions?
