8033718: Inference ignores capture variable as upper bound
Summary: Split Types.lowerBound into two methods; fix bugs in inference handling of capture variables.
Reviewed-by: vromero

7086586: Inference producing null type argument
Summary: Inference should fail in 15.12.2.7 when inference variables with 'nulltype' upper bounds are found
Reviewed-by: dlsmith