Relaxed extension methods (SIP 54) are not relaxed enough

Language Design
2

The same is true for this variant

class Foo
object Lib:
  implicit class FooIntExt(foo: Foo):
    def bar(a: Int): Unit = {}

import Lib.*
implicit class FooStringExt(foo: Foo):
 def bar(a: String): Unit = {}

val f = Foo()
f.bar(42) //works!

But apparently that was explicitly intended in the design of the SIP.