new inference: different parameterizations condition/wildcards parameterization in return type covered
new inference: incorporation of capture constraint
new inference: incorporation of capture constraint: captured wildcard treatment
new inference: wildcard parameterization inference
new inference: non-wildcard parameterization
new inference: well formed check
method refs: separate inference from conflict resolution (to be continued)
IDEA-120385 'Generate Test method' doesn't work