Guillaume Martres

> What to be aware of though is that this is usually slower when the repository is a big monorepo, as it fetches the entire monorepo with lots of not-needed...

Also when I say "extract it to disk" it could be an in-memory filesystem to avoid disk performance issues (tmpfs is built into Linux and does the job well)

> And also F[A | B] =:= F[A] | F[B] No: https://github.com/lampepfl/dotty/blob/48233081c03918dc56662caca1353ded01a98843/compiler/src/dotty/tools/dotc/core/TypeComparer.scala#L1771-L1778

> Not sure whether this is helpful. I for one found it helpful :)

> I don't see why List[T] | List[U] should not be the same as List[T | U] – for all intents and purposes they can only behave the same, AFAICT...

If we do this we might want to be even bolder and support the full syntax of methods, like @LPTK suggested a while ago: https://github.com/lampepfl/dotty/pull/4672#issuecomment-399009667

Would this auto completion trigger when you write `override ` and ask for completion ?

> The IDE associates trees with toplevel classes and stores them in a myTree field of ClassDenotation. It's actually in ClassSymbol, not ClassDenotation

Is that how it works in IntelliJ?

What are the other ways? :)