OK, I think it’s no big deal either way, but since it is in Scala 2, the path of least resistance is to put it in Scala 3 as well. See Allow `var` in refinements · Issue #19809 · lampepfl/dotty · GitHub.
4 Likes