| 
|
Quote: type T is assignable to type U if it is a subtype, an array supertype, a reference supertype, or an overlapping ordinal type
topics >
all references >
references c-d >
Group:
type checking
Quotation Skeleton
A type T is assignable to a type … or reference type other than [untraced] ADDRESS, or … e is assignable to a variable v if: … of e is a member of the type … the same shape as v. The first point … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: an expression is assignable to a variable if their types are assignable, the value is valid, not a local procedure, nor an array of a different shape
Group: type checking (12 topics, 385 quotes)