Assertion: collection | /r/HasProperty | guaranteed
Facets:
Source sentences:
text: Assuming a collection contains no incorrectly typed elements prior to the time a dynamically typesafe view is generated, and that all subsequent access to the collection takes place through the view, it is guaranteed that the collection cannot contain an incorrectly typed element.