Casts are properly found but not yet injected into the type analysis, which makes it difficult for the SelectCallCandidateStage to make a proper choice.