[FS] MS-FS-LC1-132

Section 4.12.3/4
Technical

The current normalization of cast as/castable seems to raise a static
error if I have an expression E cast as T and E infers to be of static
type ET?. This means that most applications of cast as T will lead to
static errors. Shouldn't this be a dynamic error?

Received on Monday, 14 June 2004 15:36:39 UTC