[GROOVY-5238] Methods belonging to a different source unit get visited and report errors at the wrong place

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.0-beta-2
• Fix Version/s: 2.0-beta-3
• Component/s: Static Type Checker
• Assignee: Cédric Champeau
• Reporter: Cédric Champeau
• Created: 06/Jan/12 06:02
• Updated: 13/May/12 03:30
• Resolved: 06/Jan/12 08:13

Description

If a method call expression references a method from another class, the method called gets visited (if it is statically checked) even if the class doesn't belong to the same source unit. This triggers incorrect error reporting (errors in the wrong file).

Fixing completely this requires a large amount of work, so return type inference will only work for methods in the same source unit at first.

See TODO in StaticTypeCheckingVisitor.