4014 log.error(env.tree.pos(), "enum.types.not.extensible"); |
4014 log.error(env.tree.pos(), "enum.types.not.extensible"); |
4015 } |
4015 } |
4016 attribClassBody(env, c); |
4016 attribClassBody(env, c); |
4017 |
4017 |
4018 chk.checkDeprecatedAnnotation(env.tree.pos(), c); |
4018 chk.checkDeprecatedAnnotation(env.tree.pos(), c); |
4019 chk.checkClassOverrideEqualsAndHash(env.tree.pos(), c); |
4019 chk.checkClassOverrideEqualsAndHashIfNeeded(env.tree.pos(), c); |
4020 } finally { |
4020 } finally { |
4021 env.info.returnResult = prevReturnRes; |
4021 env.info.returnResult = prevReturnRes; |
4022 log.useSource(prev); |
4022 log.useSource(prev); |
4023 chk.setLint(prevLint); |
4023 chk.setLint(prevLint); |
4024 } |
4024 } |