Index data incomplete when referencing an ambiguous type name

[keith]

Description

With this code:

// Module0
public struct Thing {
    public init(string: String) {}
}
// Module1
public struct Thing {}
// Module2
import Module0
import Module1

func foo() {
    _ = Thing(string: "lol")
}

The index data for Module3 includes no references at all to Thing or the initializer being called. This is easiest to visualize with indexutil-annotate:

// Module2
/*
       module=Module0=usr is c:@M@Module0
       v  */
import Module0
/*
       module=Module1=usr is c:@M@Module1
       v  */
import Module1

/*
     function=foo()=usr is s:7Module23fooyyF
     v  */
func foo() {
    _ = Thing(string: "lol")
}

If I add the explicit module name to the call like this: _ = Module0.Thing(string: "lol") we get what appears to be the right data:

// Module2
/*
       module=Module0=usr is c:@M@Module0
       v  */
import Module0
/*
       module=Module1=usr is c:@M@Module1
       v  */
import Module1

/*
     function=foo()=usr is s:7Module23fooyyF
     v  */
func foo() {
    /*
        module=Module0=usr is c:@M@Module0
        |       struct=Thing=usr is s:7Module05ThingV
        |       constructor=init(string:)=usr is s:7Module05ThingV6stringACSS_tcfc
        v       v  */
    _ = Module0.Thing(string: "lol")
}

Also removing the import to Module1 also gives us the right info:

// Module2
/*
       module=Module0=usr is c:@M@Module0
       v  */
import Module0

/*
     function=foo()=usr is s:7Module23fooyyF
     v  */
func foo() {
    /*
        struct=Thing=usr is s:7Module05ThingV
        constructor=init(string:)=usr is s:7Module05ThingV6stringACSS_tcfc
        v  */
    _ = Thing(string: "lol")
}

Steps to reproduce

Using this project initextension.zip and indexutil-annotate:

1. swift build
2. indexutil-annotate .build/debug/index/store/ Sources/Module2/Module2.swift

You can also inspect the record naively with strings to see there are no other string references to Module2:

% strings $(find .build/debug/index/store/v5/records -name "Module2.swift*")
IDXR
Module0c:@M@Module0
Module1c:@M@Module1
foo()s:7Module23fooyyF

Expected behavior

The specific type should be known because the initializer disambiguates it, and that should be present in the index data.

Environment

• Swift compiler version info 5.7.2
• Xcode version info 14.2.14C18

I also tested with Swift @ 1b13b59

[keith]

#65729