[ 
https://issues.apache.org/jira/browse/GROOVY-12589?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=18138328#comment-18138328
 ] 

ASF GitHub Bot commented on GROOVY-12589:
-----------------------------------------

testlens-app[bot] commented on PR #3114:
URL: https://github.com/apache/groovy/pull/3114#issuecomment-6643187547

   ## ✅ All tests passed ✅
   
   🏷️ Commit: 87fdb8ca17a1f69d6d87084ebbef046b5cd31afa
   ▶️ Tests:  113583 executed
   ⚪️ Checks: 26/26 completed
   
   ---
   _Learn more about TestLens at 
[testlens.app/docs](https://testlens.app/docs/features/pr-comment/)._
   




> SC: super.name within a class nested in its superclass calls the wrong 
> accessor or throws MissingPropertyException
> ------------------------------------------------------------------------------------------------------------------
>
>                 Key: GROOVY-12589
>                 URL: https://issues.apache.org/jira/browse/GROOVY-12589
>             Project: Groovy
>          Issue Type: Bug
>    Affects Versions: 4.0.33, 5.0.8, 6.0.0
>            Reporter: Scott Murphy Heiberg
>            Priority: Major
>
> {code:groovy}
> import groovy.transform.*
> class Base {
>     boolean f
>     boolean isF() { true }
>     boolean getF() { false }
>     @CompileStatic
>     static class Sub extends Base {
>         boolean isF() { false }
>         boolean getF() { true }
>         def plain() { super.f }
>         def test() { def c = { -> super.f }; c() }
>     }
> }
> assert new Base.Sub().plain()
> assert new Base.Sub().test()
> {code}
> Actual: groovy.lang.MissingPropertyException: No such property: f for class: 
> Base$Sub, for both methods. If Sub overrides only isF, both return the result 
> of Base.getF instead. The same happens for any property whose getter Sub 
> overrides (for example String x with getX), and assigning super.x in a 
> closure throws VerifyError.
> Expected: both assertions pass. Base.isF is called, as in dynamic Groovy.
> Within a class nested in its superclass, the type checker resolves super.f as 
> the superclass field that the nested class may access, so it records no 
> accessor and requests no super$ helper, and static compilation falls back to 
> a dynamic getPropertyOnSuper call. That call cannot reach the overridden 
> accessors of a statically compiled class, which has no MOP methods. A plain 
> subclass that is not nested in its superclass is not affected.
> Seen in 4.0.33, 5.0.8, 6.0.0 and master. With PR #3049 (GROOVY-12518) the 
> plain super.f works and only the closure and lambda forms fail.
> PR: https://github.com/apache/groovy/pull/3114



--
This message was sent by Atlassian Jira
(v10.3.26#10030026)

Reply via email to