GROOVY-7849: Verifier should be aware of array type covariance when c…

[shils]

…hecking overriding method return types

[blackdrag]

+1

[paulk-asert]

+1, though I think in fact this also resolves GROOVY-7185, so perhaps add this additional testcase (or similar):

interface A<T> {
    T[] process()
}

class B implements A<String> {
    @Override
    String[] process() {
        ["foo"]
    }
}

class C extends B {
    @Override
    String[] process() {
        super.process()
    }
}

assert new C().process()[0] == 'foo'

then we can resolve that issue as well I believe.

[shils]

Just noticed your comment; incidentally I did add a test for GROOVY-7185 (0b33113), though it didn't include an assertion as in your example. Thanks for the suggestion.