Andrei Alexandrescu: > I guess this would work better: > CommonType!(Tx, Ty) lazyOr(Tx, Ty)(Tx x, lazy Ty y) { ... } What's the improvement? (And I think that code of mine gives a better error message.) Bye, bearophile