Type parameters inferred from expected type for implicit parameters search should be considered as completely inferred. Abstract type shouldn't add Any upper type consideration. #SCL-7404 Fixed