Syntax Lookup
Enter some language construct you want to know more about.
This is the @doesNotThrow decorator.
This decorator requires
reanalyze, a code analysis tool for ReScript, to be installed. Click here to read about how you get started with reanalyze..
@doesNotThrow is used to override the reanalyze's exception analysis and state that an expression does not throw any exceptions, even though the analysis reports otherwise. This can happen for example in the case of array access where the analysis does not perform range checks but takes a conservative stance that any access could potentially throw.