[GROOVY-7145] Safe navigation operator does not perform null-check for field access under CompileStatic

• Type: Bug
• Status: Closed
• Priority: Critical
• Resolution: Fixed
• Affects Version/s: 2.3.7
• Fix Version/s: 2.3.8, 2.4.0-beta-4
• Component/s: Static Type Checker
• Assignee: Cédric Champeau
• Reporter: Jesper Steen Møller
• Created: 03/Nov/14 06:55
• Updated: 17/Dec/14 13:25
• Resolved: 04/Nov/14 07:16

Description

Given this file:

SafeNavigation.groovy

@groovy.transform.CompileStatic
class SafeNavigation {

	String name1
	public String name2
	
    public static void main(String[] args) {
        SafeNavigation test
        
        println test?.name1 // 'null'
        println test?.name2 // NullPointerException
	}
}

an NPE will be thrown at the second line null safe navigation. Remove the @CompileStatic and the check works as expected.

Or see attached test case.