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不能推断泛型类型的空单[]的？