CASTing stones

[Eric Dean Tribble <tribble>]

Abstract:  continuation of inheritance-restricted cast discussion.

      d) is exactly the case I want to catch statically.  Compile-time would
      be nice, but xlint would be fine.  How hard is this?

   Probably not hard.  Why statically when coverage will always do it?

a coverage test is static.  I want to catch it by looking at the code
with some tool, rather than running the code.

dean