You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
There are a number of unwrap calls in the code. Most of these are probably just fine b/c we've already checked the condition that must hold for the result to be something, but we could/should probably replace them with expect with a suitable string to document that.
The text was updated successfully, but these errors were encountered:
There are a number of
unwrap
calls in the code. Most of these are probably just fine b/c we've already checked the condition that must hold for the result to be something, but we could/should probably replace them withexpect
with a suitable string to document that.The text was updated successfully, but these errors were encountered: