given inside for comprehension propagation issue

[SimY4]

Compiler version

Scala 3.1.1-2

Minimized code

trait C
object C:
  def provide: Option[C] = Some(new C {})

def consume(arg: Int)(using C): Unit = ()

val result1 = for {
  given C <- C.provide
  a = consume(42) // Error: no implicit of type C
} yield a


val result2 = for {
  c <- C.provide
  a = {
    given C = c
    consume(42) // this works fine
  }
} yield a

Expectation

given argument would be implicitly passed down to a method that expects it

[som-snytt]

Duplicates #12646

[bishabosha]

added the example to the original issue