tree 7fc0cdef3434e5d3e75e567630f0fc06734881ec
parent 778174bca2c13becd88ef3353309190b1e8b9479
author Nate Bosch <nbosch@google.com> 1639761406 -0800
committer Nate Bosch <nbosch@google.com> 1639761406 -0800

More strictly describe a runtime type restriction

If the described restriction is not followed the method will eventually
throw (though the error is not always clear). In other docs with
descriptions of conditions that cause errors we use "must".