Characteristic predicate ArraySizing::CheckableArrayAccess::CheckableArrayAccess

CheckableArrayAccess()