Bug 437909 - Incompatible inherited overrides are not flagged
Summary: Incompatible inherited overrides are not flagged
Status: NEW
Alias: None
Product: Xtend
Classification: Tools
Component: Core (show other bugs)
Version: 2.6.0   Edit
Hardware: PC Windows 7
: P3 normal (vote)
Target Milestone: ---   Edit
Assignee: Project Inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2014-06-23 05:40 EDT by Stefan Oehme CLA
Modified: 2014-06-23 05:40 EDT (History)
0 users

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Stefan Oehme CLA 2014-06-23 05:40:03 EDT 
interface I {
  override Object clone()
  override void finalize() throws Throwable
}

class C implements I {}

No errors in Xtend, but the Java class has the following errors:

Exception CloneNotSupportedException in throws clause of Object.clone() is not compatible with A.clone()

The inherited method Object.finalize() cannot hide the public abstract method in A