++ KotlinDeclarationNavigationPolicyImpl.kt