With regards to type safety, de facto type safety is something that is not enforced by the compiler, but rather the structure of the program, while de jure type safety is type safety that should be enforced by the compiler. De facto type safety is weaker than de jure type safety but easier to produce.
Now the runtime type of these types depends on the TypeRelation mappings defined for them. In the case of CLong, it should be backed by the following: This new method is called extract and it has been defined as an extension method of types that are subtypes of CVal.
Collection
[
|
...
]