8033718: Inference ignores capture variable as upper boundSummary: Split Types.lowerBound into two methods; fix bugs in inference handling of capture variables.Reviewed-by: vromero
7086586: Inference producing null type argumentSummary: Inference should fail in 15.12.2.7 when inference variables with 'nulltype' upper bounds are foundReviewed-by: dlsmith