Cyclic error involving annotation

[allanrenucci]

In a file Test1.scala:

package foo.bar

class Bar extends annotation.StaticAnnotation

In a file Test2.scala:

package foo

import foo.bar.Bar

@Bar
class Foo extends annotation.StaticAnnotation

In a file Test3.scala:

package object foo {
  @Foo class Hello
}

dotc Test1.scala Test2.scala Test3.scala
-- Warning: Test2.scala:5:1 ----------------------------------------
5 |@Bar
  | ^^^
  | cyclic import foo.bar.Bar, ignored
-- [E006] Unbound Identifier Error: Test2.scala:5:1 ----------------
5 |@Bar
  | ^^^
  | not found: type Bar

[allanrenucci]

This is the closer I could get trying to minimise the cyclic error while compiling the 2.13 standard library. In the 2.13 standard library, it involves the scala package object, the deprecated annotation and the scala.annotation.meta.getter annotation