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
Currently the type checker doesn't know whether a std function will throw an exception or not.
Might be nice to allow one to generate a soft warning for exceptions we know might happen.
High-level description of the feature
Description of potential implementation
The text was updated successfully, but these errors were encountered:
Current Issue
Currently the type checker doesn't know whether a std function will throw an exception or not.
Might be nice to allow one to generate a soft warning for exceptions we know might happen.
High-level description of the feature
Description of potential implementation
The text was updated successfully, but these errors were encountered: