Don’t forget that these are macro conversions, that are getting gutted specifically - Updated Proposal: Revisiting Implicits. For example, you’ll have to define a parent trait that will throw a runtime error, and users will always be able to summon both Conversion[T, Quoted[T]] & Conversion[Quoted[T], T] as runtime values - and both of these will blow up at runtime