Assertion: compiler | /r/CapableOf | run time
Facets:
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.).