[Bug 2789] Substitutability of duration subtypes

http://www.w3.org/Bugs/Public/show_bug.cgi?id=2789





------- Additional Comments From mrys@microsoft.com  2006-02-01 18:47 -------
"I don't know your reasoning, but from what I can tell a cast expression can 
return a value whose type is more specific than the static one(from the 
definition of dynamic type)."

Sorry, but a cast cannot return a more specific dynamic type than the static 
type. Casting is actually changing the dynamic type and transforms the value 
from one type's value space to another type's value space.

"treat as" does not change the dynamic type...

Received on Wednesday, 1 February 2006 18:47:11 UTC