chore: require safety doc comment for unsafe instead of //@safety
#23631
Annotations
10 warnings
|
Check spelling:
compiler/noirc_evaluator/src/ssa/ir/instruction.rs#L410
Unknown word (effectful)
|
|
Check spelling:
compiler/noirc_frontend/src/debug/mod.rs#L311
Unknown word (derefence)
|
|
Check spelling:
compiler/noirc_frontend/src/debug/mod.rs#L718
Unknown word (pids)
|
|
Check spelling:
compiler/noirc_frontend/src/debug/mod.rs#L719
Unknown word (pids)
|
|
Check spelling:
compiler/noirc_frontend/src/debug/mod.rs#L720
Unknown word (pids)
|
|
Check spelling:
compiler/noirc_frontend/src/debug/mod.rs#L731
Unknown word (mpat)
|
|
Check spelling:
compiler/noirc_frontend/src/debug/mod.rs#L731
Unknown word (mpat)
|
|
Check spelling:
compiler/noirc_frontend/src/lexer/lexer.rs#L50
Unknown word (biguint)
|
|
Check spelling:
compiler/noirc_frontend/src/lexer/lexer.rs#L1397
Unknown word (blns)
|
|
Check spelling:
compiler/noirc_frontend/src/lexer/lexer.rs#L1455
Unknown word (blns)
|
Loading