[ nice-Bugs-1097571 ] subtyping types which fix their parents type parameter

Bugs item #1097571, was opened at 2005-01-07 13:59
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=1097571&group_id=12788

Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Rohan Hart (dr_dee)
Assigned to: Nobody/Anonymous (nobody)
Summary: subtyping types which fix their parents type parameter

Initial Comment:
interface Term<T> {
  T value();
}
interface Bool implements Term<boolean> {}
class BoolImpl implements Bool {
  value() = true;
}

--------
the compiler incorrectly claims that:
Class BoolImpl cannot implement Bool: they do not have
the same number or kind of type parameters


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=112788&aid=1097571&group_id=12788


-------------------------------------------------------
The SF.Net email is sponsored by: Beat the post-holiday blues
Get a FREE limited edition SourceForge.net t-shirt from ThinkGeek.
It's fun and FREE -- well, almost....http://www.thinkgeek.com/sfshirt