`@static` annotation does not work for `given`

[armanbilge]

Compiler version

3.3.1

Minimized code

import scala.annotation.static
trait Foo[A]
object Foo:
  @static given foo: Foo[String] = new {}

Output

4 |  @static given foo: Foo[String] = new {}
  |  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  |  Lazy @static fields are not supported
1 error found

Expectation

Declaring it as an implicit val compiles fine. So my expectation is that there is a way to do this with given as well.

@static implicit val foo: Foo[String] = new {}

An implicit def also works.

@static implicit def foo: Foo[String] = new {}

[odersky]

This should work:

@static private val myFoo: Foo[String] = new {}
@static given Foo[String] = myFoo

[nicolasstucki]

Unfortunately it does not work:

import scala.annotation.static
trait Foo[A]
object Foo:
  @static private val myFoo: Foo[String] = new {}
  @static given Foo[String] = myFoo // error: Lazy @static fields are not supported

[nicolasstucki]

The issue is that given Foo[String] = myFoo becomes a lazy val and not a def.

We could force it to be a def with @static given (using DummyImplicit): Foo[String] = myFoo, but this will not work in all situations.

[odersky]

Would simply dropping the @static on the given work?

Never mind, I think we can fix this by tweaking the way givens are translated.