Checked type of a
Checked type of n
Resolved (a, n)
Searched references to JavaClass
Searched references to parameter c of f(c: JavaClass) in non-Java files