Без картинки сложно описать:
Редактировать: (я не могу опубликовать изображение, пока у меня не будет больше репутации).
JAR существует во внешних библиотеках, а пакет содержит класс ('org.robolectric.AndroidManifest'). Оператор импорта отображается серым цветом до слова «robolectric», но красным в «AndroidManifest». Когда я нажимаю на пакет (robolectric), я перехожу к нужному пакету, который, по-видимому, содержит класс.
Это единственная библиотека Robolectric в приложении, так что это не тот случай, когда вы смотрите на одну библиотеку, используя другую.
Это похоже на эту проблему, но решение не не работает.
Я почистил, пересобрал, переиндексировал.