Я отмечаю часть своего кода аннотациями SAL.
Если я аннотирую только декларацию, я получаю предупреждение о несовместимых аннотациях.Должны ли мы действительно добавить аннотации к обоим?
Есть ли какая-то причина, по которой компилятор не может просто предположить, что определение для объявления имеет аннотации объявления?