Andrei Alexandrescu: > Non-nullable types are proper subtypes of nullable types. There is no > added safety in requiring a cast. Yes, sorry, often I misunderstood (I was thinking of the opposite situation). Bye, bearophile