Groovy的CompileStatic與泛型列表

Question

我在常規下面的代碼：

class Test { 
    List<Integer> yo(boolean x) { 
    List<Integer> res = x ? [] : [1, 2, 3] 
    } 
} 

它編譯很好，直到我添加@CompileStatic批註類。然後編譯失敗

Test.groovy: 5: [Static type checking] - Incompatible generic argument types. Cannot assign java.util.List <? extends java.lang.Object> to: java.util.List <Integer> 
@ line 5, column 27. 
     List<Integer> res = x ? [] : [1, 2, 3] 

難道真的預期的Groovy不能推斷泛型類型的空單[]的？