equal
deleted
inserted
replaced
4150 log.warning(LintCategory.SERIAL, |
4150 log.warning(LintCategory.SERIAL, |
4151 TreeInfo.diagnosticPositionFor(svuid, tree), "constant.SVUID", c); |
4151 TreeInfo.diagnosticPositionFor(svuid, tree), "constant.SVUID", c); |
4152 } |
4152 } |
4153 |
4153 |
4154 private Type capture(Type type) { |
4154 private Type capture(Type type) { |
4155 return types.capture(type); |
4155 //do not capture free types |
|
4156 return resultInfo.checkContext.inferenceContext().free(type) ? |
|
4157 type : types.capture(type); |
4156 } |
4158 } |
4157 |
4159 |
4158 private void validateTypeAnnotations(JCTree tree) { |
4160 private void validateTypeAnnotations(JCTree tree) { |
4159 tree.accept(typeAnnotationsValidator); |
4161 tree.accept(typeAnnotationsValidator); |
4160 } |
4162 } |