Assertion: compiler | /r/CapableOf | determine suitable memory size
Facets:
value: for the type
type: OTHER
Source sentences:
text: This allows the compiler to determine a suitable memory size for the type, and to check for violations of the type definition at compile time and run time (i.e., range violations, buffer overruns, type consistency, etc.).