[ 
https://issues.apache.org/jira/browse/GROOVY-11402?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
 ]

Eric Milles updated GROOVY-11402:
---------------------------------
    Affects Version/s: 5.0.0-alpha-8

> STC: inferred type of this.name within closure
> ----------------------------------------------
>
>                 Key: GROOVY-11402
>                 URL: https://issues.apache.org/jira/browse/GROOVY-11402
>             Project: Groovy
>          Issue Type: Bug
>          Components: Static Type Checker
>    Affects Versions: 3.0.21, 5.0.0-alpha-8, 4.0.21
>            Reporter: Eric Milles
>            Assignee: Eric Milles
>            Priority: Major
>
> Consider the following:
> {code:groovy}
> class C extends HashMap<String,String> {
>   private Object f = 'field'
>   private static Object g = 'field'
>   @groovy.transform.TypeChecked
>   void test() {
>     {->
>       println      f // entry
>       println      g // field
>       println this.f // entry or field (if SC)
>       println this.g // field
>     }()
>   }
> }
> new C().test()
> {code}
> Fixes in Groovy 3 [1][3] and 4 [2][3] have made it so that "g" and "this.g" 
> resolve to the static field (even from outer class). Groovy 5 has dropped 
> this special case and should go through the closure's {{getProperty}} 
> protocol (see GROOVY-10985). This is at least consistent with "g" and 
> "this.g" appearing outside of a closure.
> However, "f" and "this.f" have some inconsistencies. "f" resolves to entry 
> for STC and SC. "this.f" resolves to field at compile time for STC and SC. 
> But to entry for STC and field for SC at run time.  In Groovy 5, both 
> "this.f" and "this.g" exhibit this difference.
> Should "this.f" be entry within closure as "f" is for all cases? Or should 
> only the STC inferred type be fixed to match the run time behavior, leaving 
> SC unchanged?
> GROOVY-5001, GROOVY-5491, GROOVY-8555, GROOVY-11367, GROOVY-11387, 
> GROOVY-11401
> [1] 
> [https://github.com/apache/groovy/commit/419ce2f91754f101d8e65977da4dc7e8e6b6265f]
> [2] 
> [https://github.com/apache/groovy/commit/3c2266e053c4a9a9127be43921afb0c5135725f6]
> [3] 
> [https://github.com/apache/groovy/commit/da99cd99e4fd3f4c8084622a07cb93dd4e388653]



--
This message was sent by Atlassian Jira
(v8.20.10#820010)

Reply via email to