Eric Milles created GROOVY-11387:
------------------------------------

             Summary: STC: entry vs field for map-based types
                 Key: GROOVY-11387
                 URL: https://issues.apache.org/jira/browse/GROOVY-11387
             Project: Groovy
          Issue Type: Bug
          Components: Static Type Checker
    Affects Versions: 4.0.21, 3.0.21
            Reporter: Eric Milles
            Assignee: Eric Milles


Consider the following:
{code:groovy}
@groovy.transform.TypeChecked
void test() {
  def map = new HashMap()
  def xxx = map.table
  def yyy = map.with{
    def z = table
  }
  print xxx
  print yyy
}
test()
{code}

The script should output "nullnull" and the inferred types of "xxx", "yyy" and 
"z" should be String.  However, the script throws IllegalAccessError for the 
"z" line and the inferred type of the variables is "Node<String,String>[]".

GROOVY-11367



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

Reply via email to