This is implemented in the DevelopmentVersion (future 0.9.1) of the compiler.

-- DanielBonniot - 02 Aug 2003

%META:TOPICINFO{author="DanielBonniot" date="1058792358" format="1.0" version="1.1"}% %META:TOPICPARENT{name="FeatureProposals"}% It is often useful to declare that, in a subclass, a certain field of the superclass has a more precise type. To be safe, this feature only applies to final fields.

class A
{
  final Reader reader;
}

class B extends A
{
  override FileReader reader;
}

The new type must be a subtype of the original type, and the original field must be final.

Implementation notes: the type in the default constructors of B must be changed. For the field access methods, the get method can simply be overriden.

-- DanielBonniot - 21 Jul 2003