Skip to content

feat!: type-check trait default methods #23500

feat!: type-check trait default methods

feat!: type-check trait default methods #23500

Triggered via pull request January 7, 2025 16:02
Status Success
Total duration 27s
Artifacts

spellcheck.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
Code: acvm-repo/acvm/tests/solver.rs#L1404
Unknown word (injectivity)
Code: acvm-repo/acvm/tests/solver.rs#L1406
Unknown word (injectivity)
Code: compiler/noirc_evaluator/src/ssa/ir/instruction.rs#L410
Unknown word (effectful)
Code: compiler/noirc_evaluator/src/ssa/opt/array_set.rs#L32
Unknown word (refcounting)
Code: compiler/noirc_evaluator/src/ssa/opt/mem2reg.rs#L71
Unknown word (Landi)
Code: compiler/noirc_evaluator/src/ssa/opt/mem2reg.rs#L132
Unknown word (Vecs)
Code: compiler/noirc_evaluator/src/ssa/parser/lexer.rs#L25
Unknown word (biguint)