1238 * if all upper/lower bounds are ground. |
1238 * if all upper/lower bounds are ground. |
1239 */ |
1239 */ |
1240 CAPTURED(InferenceBound.UPPER) { |
1240 CAPTURED(InferenceBound.UPPER) { |
1241 @Override |
1241 @Override |
1242 public boolean accepts(UndetVar t, InferenceContext inferenceContext) { |
1242 public boolean accepts(UndetVar t, InferenceContext inferenceContext) { |
1243 return !inferenceContext.free(t.getBounds(InferenceBound.UPPER, InferenceBound.LOWER)); |
1243 return t.isCaptured() && |
|
1244 !inferenceContext.free(t.getBounds(InferenceBound.UPPER, InferenceBound.LOWER)); |
1244 } |
1245 } |
1245 |
1246 |
1246 @Override |
1247 @Override |
1247 Type solve(UndetVar uv, InferenceContext inferenceContext) { |
1248 Type solve(UndetVar uv, InferenceContext inferenceContext) { |
1248 Infer infer = inferenceContext.infer(); |
1249 Infer infer = inferenceContext.infer(); |