any2stringadd inferred for anonymous given in for comprehension

[bishabosha]

Minimized code

def foo = for {                                                                                         
  x <- Option(23)
  given Int = x
} ()

Output

3 |  given Int = x
  |  ^
  |this case is unreachable since type any2stringadd$ and class Integer are unrelated

Expectation

[bishabosha]

in the typer we can see what was inferred:

def foo: Unit = 
  Option.apply[Int](23).map[(Int, any2stringadd.type)](
    {
      def $anonfun(x: Int): (Int, any2stringadd.type) = 
        {
          x:(x : Int) @unchecked match 
            {
              case given given_Int @ _:Int => ()
            }
          Tuple2.apply[Int, any2stringadd.type](x, _)
        }
      closure($anonfun)
    }
  ).foreach[Unit](
    {
      def $anonfun(x$1: (Int, any2stringadd.type)): Unit = 
        x$1:(x$1 : (Int, any2stringadd.type)) @unchecked match 
          {
            case 
              Tuple2.unapply[Int, any2stringadd.type](x @ _, 
                given given_Int @ _:Int
              )
              => ()
          }
      closure($anonfun)
    }
  )