Andrei Alexandrescu wrote: > specification can be refined
1) I do not see such refinements for D. 2) If there is _no_ requirement for such refinements to be used "manually": which theory enables the compiler to detect the prerequisites for the refinements automatically? 3) If there _is_ a requirement for such refinements to be used "manually", then there is no such theory and your starting "No" turns into a "Yes, of course, even if the specification _is_ refined, because humans might fail". -manfred
