7 ms·But Scala still differentiates between `def shouldBePure: Foo` and `def probablyHasSideEffects(): Bar`.by Nullabillity 7y agoBut Scala still differentiates between `def shouldBePure: Foo` and `def probablyHasSideEffects(): Bar`.