new inference: check substituted descriptor return type
new inference: initial method reference constraint