Как вы можете отделить исходные файлы свойств и проверить их тип в Groovy?

Question

Пример ниже будет проверять тип и правильно компилироваться в Groovy 2.5. Я хотел бы определить черты в двух отдельных исходных файлах для ясности. Это разделение приводит к неопределенному статическому типу для доступа к свойству B.a в x ().

Вопрос: Есть ли способ настроить или намекнуть проверку типа, чтобы она учитывала определение признака?

Кажется, что это свойство весьма желательно, учитывая, что множественное наследование является сложным, и проверка типов особенно полезна в этих случаях. обстоятельства.

package traits.example                                                                                                    

import groovy.transform.CompileStatic                                                                                                              

@CompileStatic                                                                                                                                     

trait A {                                                                                                                                          
    String a                                                                                                                                       
}                                                                                                                                                  

trait B implements A {                                                                                                                             

    def x() {                                                                                                                                      
        a                                                                                                                                          
    }                                                                                                                                              
}