3989 log.error(env.tree.pos(), "enum.types.not.extensible"); |
3989 log.error(env.tree.pos(), "enum.types.not.extensible"); |
3990 } |
3990 } |
3991 attribClassBody(env, c); |
3991 attribClassBody(env, c); |
3992 |
3992 |
3993 chk.checkDeprecatedAnnotation(env.tree.pos(), c); |
3993 chk.checkDeprecatedAnnotation(env.tree.pos(), c); |
|
3994 chk.checkClassOverrideEqualsAndHash(c); |
3994 } finally { |
3995 } finally { |
3995 env.info.returnResult = prevReturnRes; |
3996 env.info.returnResult = prevReturnRes; |
3996 log.useSource(prev); |
3997 log.useSource(prev); |
3997 chk.setLint(prevLint); |
3998 chk.setLint(prevLint); |
3998 } |
3999 } |