testdata for IDEA-118965
new inference: use site substitutor during return constraints processing (red code in Collectors)