For example `ctx` field here: https://github.com/lampepfl/dotty/blob/master/src/dotty/tools/dotc/typer/VarianceChecker.scala#L21 I'm preparing a fix.