eric-milles commented on pull request #1359: URL: https://github.com/apache/groovy/pull/1359#issuecomment-687158819
Is it because a Number type is never supplied for C? From: Paul King <[email protected]> Sent: Friday, September 4, 2020 1:03 AM To: apache/groovy <[email protected]> Cc: Milles, Eric (TR Technology) <[email protected]>; Author <[email protected]> Subject: Re: [apache/groovy] GROOVY-9635: resolve "V" in T=V; "T" may have been reused as type param (#1359) The following script fails with a VerifyError with this PR merged: import java.util.function.Function @groovy.transform.CompileStatic class C<R extends Number> { def <V> V m(Function<C, V> f) { // R from C is confused with R->V from Function V result = f.apply(this) return result } } @groovy.transform.CompileStatic def method() { def ret = new C().m(new Function<C, String>() { @Override String apply(C that) { return 'foo' } }) assert ret == 'foo' } method() — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub<https://nam02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fapache%2Fgroovy%2Fpull%2F1359%23issuecomment-686930325&data=02%7C01%7Ceric.milles%40thomsonreuters.com%7C69b89ffe5a4847092fa308d85098342c%7C62ccb8646a1a4b5d8e1c397dec1a8258%7C0%7C0%7C637347961922283071&sdata=6vNHDl%2B%2B01KImfLmay9X%2BFOaGYNZiBWMzSxMU53QSbo%3D&reserved=0>, or unsubscribe<https://nam02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fnotifications%2Funsubscribe-auth%2FAEKZ3CSQBI52FUBYNSLQEUTSEB7J5ANCNFSM4QRAJSWQ&data=02%7C01%7Ceric.milles%40thomsonreuters.com%7C69b89ffe5a4847092fa308d85098342c%7C62ccb8646a1a4b5d8e1c397dec1a8258%7C0%7C0%7C637347961922293065&sdata=bObBkbDI9AZ9wgdR1oROTPw%2B88tXN2nQMx5glnrGf%2FY%3D&reserved=0>. ---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected]
