W3C home > Mailing lists > Public > public-qt-comments@w3.org > February 2006

[Bug 2789] Substitutability of duration subtypes

From: <bugzilla@wiggum.w3.org>
Date: Wed, 01 Feb 2006 18:47:02 +0000
To: public-qt-comments@w3.org
Cc:
Message-Id: <E1F4N0Q-0003Pt-4h@wiggum.w3.org>

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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:10 UTC