Using typedefed types as covariant return types

[Frits van Bommel]

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...