Strength-reducing an interface call to a virtual call for interfaces with unique implementors can use receiver type information to narrow the context.

C2 tracks interface types and receiver type information can be used to reveal an interface with a unique implementor which can't be derived from the call site itself.