If we remove the unused import `import dotty.tools.dotc.core.Types.Type` in `dotty.tools.dotc.CompilationUnit` the `testNonCyclic` fails in `posTwice`. ```scala -- [E006] Unbound Identifier Error: ../compiler/src/dotty/tools/dotc/ast/Trees.scala:817:42 817 | abstract class Instance[T >: Untyped <: Type] extends DotClass { inst => | ^^^^ | not found: type Type ``` Note that the error manifests itself in another class.