Changing the definition of a class doesn't force re-comp of derived givens in other files

[j-mie6]

Compiler version

3.6.2

Minimized code

In Schema.scala, I have this (top-level given):

given Schema[Flags] = Schema.derived

In another file I have

case class Flags(...)

When I edit the type, I'd expect the Schema to also get recompiled, because it is relying on derivation. Alas, it does not and only the file with the type gets recompiled. This means the given can get out of sync with the type.

If needed I can make a minimal working project tomorrow (this is using tapir)

Expectation

Changing a type would force recompilation of all derived things of that type.

[Gedochao]

If needed I can make a minimal working project tomorrow (this is using tapir)

@j-mie6 if you'd find the time, a minimized reproduction would be useful.