new inference: propagate current substitutors during additional constrains processing (IDEA-118965)
method refs: add constraint P1->ReferenceType for inexact method references despite of spec (IDEA-117311)
lambda: check functional type return type before accepting cached value
testdata for IDEA-104429
deeply eliminate wildcards as they may appear during inference in wildcard's bounds