Validation error: Impurity reasons of overriding methods must be subset of impurity reasons of overridden methods

[lars-reimann]

Basic example: If the overridden method is pure, the overriding method must be pure as well:

package tests.validation.other.declarations.functions.purePropagates

class MyOpenClass {
    @Pure fun pureFunction1()
    @Pure fun pureFunction2()
    fun impureFunction1()
}

class MyClass sub MyOpenClass {
    // $TEST$ no error "One of the supertypes of this class declares a pure function with this name, so this must be pure as well."
    @Pure fun »ownPureFunction«()
    // $TEST$ no error "One of the supertypes of this class declares a pure function with this name, so this must be pure as well."
    fun »ownImpureFunction«()

    // $TEST$ error "One of the supertypes of this class declares a pure function with this name, so this must be pure as well."
    fun »pureFunction1«()
    // $TEST$ no error "One of the supertypes of this class declares a pure function with this name, so this must be pure as well."
    @Pure fun »pureFunction2«()
    // $TEST$ no error "One of the supertypes of this class declares a pure function with this name, so this must be pure as well."
    @Pure fun »impureFunction1«()
}

[lars-reimann]

🎉 This issue has been resolved in version 0.4.0 🎉

The release is available on:

• npm package (@latest dist-tag)
• npm package (@latest dist-tag)
• v0.4.0
• GitHub release

Your semantic-release bot 📦🚀