induction heuristics incompatible with sbt's resolution cache

[tek]

The combination of -Yinduction-heuristics and updateOptions := updateOptions.value.withCachedResolution(true) results in an error during compileIncremental:

MissingRequirementError: class scala.annotation.inductive in compiler mirror not found.

Steps to reproduce:

• clone https://github.com/tek/tls_test
• (un)comment the updateOptions setting
• reload
• clean
• compile

When using coursier, this will be fixed soon, but not with regular sbt.