Go to (show) implementations: skip light methods that are generated with DELEGATION or DELEGATION_TO_DEFAULT_IMPLS JvmDeclarationOriginKind

Add some unrelated tests for fake overrides

idea/testData/navigation/implementations/DefaultImplProperty.kt

@@ -0,0 +1,24 @@
+package testing
+
+interface I {
+    val <caret>p: Int
+        get() = 0
+}
+
+class A : I
+
+class B : I {
+    override val p = 5
+}
+
+class C : I
+
+interface II: I
+interface III : I {
+    override val p: Int get() = 1
+}
+
+// REF: (in testing.B).p
+// REF: (in testing.III).p
+
+