Using typedefed types as covariant return types

[Rick Mann]

Frits van Bommel Wrote:

> Bruno Medeiros wrote:
> > Rick Mann wrote:
> >> Bill Baxter Wrote:
> >> "A typedef or enum can be implicitly converted to its base type, but 
> >> going the other way requires an explicit conversion. "
> > 
> > Implicitly convertible doesn't mean a type is a subtype of another. 
> > Altough in this case of typedef and enums I think they could be subtypes 
> > of the base type.
> 
> Perhaps he meant the "to its base type" part? I could see someone mixing 
> that up with the same term used in class hierarchies...

In that case, I'd like to make it a feature request. It seems only natural to be able to use typedefs in this manner. Should I file a formal request via bug?