Xinok: > I played with it a bit and it seems to deduce a common type > from all the return statements, Right, this works according to the D specs (but this is different from the feature I have suggested in the original post). Bye, bearophile