[
https://issues.apache.org/jira/browse/GROOVY-7813?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15265936#comment-15265936
]
ASF GitHub Bot commented on GROOVY-7813:
----------------------------------------
Github user asfgit closed the pull request at:
https://github.com/apache/groovy/pull/310
> Calling a non-static outer class method from a static class passes STC
> ----------------------------------------------------------------------
>
> Key: GROOVY-7813
> URL: https://issues.apache.org/jira/browse/GROOVY-7813
> Project: Groovy
> Issue Type: Bug
> Components: Static Type Checker
> Affects Versions: 2.4.6
> Reporter: Shil Sinha
> Assignee: Shil Sinha
>
> Example:
> {code}
> @groovy.transform.TypeChecked
> class Foo {
> def bar() { 2 }
> static class Baz {
> def doBar() {
> bar()
> }
> }
> }
> new Foo.Baz().doBar()
> {code}
> The {{doBar()}} call in the method above results in a MissingMethodException.
> If the code is statically compiled rather than just type checked, a
> VerifyError occurs instead.
> The usage of {{ClassNode#isStaticClass()}} within
> {{StaticTypeCheckingVisitor#findMethod(ClassNode, String, ClassNode...)}}
> seems to be responsible, as the former does not return true when the receiver
> is a static class.
--
This message was sent by Atlassian JIRA
(v6.3.4#6332)
