idea/testData/navigation/gotoClass/traitWithFunImplement.kt - third_party/github/JetBrains/kotlin - Git at Google

 package test

 interface TraitWithFunImplement {
     fun foo(): Int {
         return 12;
     }
 }

 // SEARCH_TEXT: Trait
 // REF: (test).TraitWithFunImplement
	package test

	interface TraitWithFunImplement {
	fun foo(): Int {
	return 12;
	}
	}

	// SEARCH_TEXT: Trait
	// REF: (test).TraitWithFunImplement