Commit 29f4aca
- compiler/noirc_evaluator/src/ssa/interpreter/errors.rs-4
- compiler/noirc_evaluator/src/ssa/interpreter/mod.rs+3-4
- compiler/noirc_evaluator/src/ssa/ir/dfg/simplify/binary.rs+39-2
- compiler/noirc_evaluator/src/ssa/mod.rs+4
- compiler/noirc_evaluator/src/ssa/opt/lower_refs_at_acir_brillig_boundary.rs+506
- compiler/noirc_evaluator/src/ssa/opt/mod.rs+1
- compiler/noirc_evaluator/src/ssa/validation/mod.rs+17-10
- compiler/noirc_frontend/src/elaborator/comptime.rs+11-13
- compiler/noirc_frontend/src/elaborator/enums.rs+5-25
- compiler/noirc_frontend/src/elaborator/expressions.rs+27-48
- compiler/noirc_frontend/src/elaborator/lints.rs+1-1
- compiler/noirc_frontend/src/elaborator/mod.rs+2-5
- compiler/noirc_frontend/src/elaborator/options.rs-3
- compiler/noirc_frontend/src/elaborator/patterns.rs+10-10
- compiler/noirc_frontend/src/elaborator/statements.rs+42-57
- compiler/noirc_frontend/src/elaborator/traits.rs+11-16
- compiler/noirc_frontend/src/elaborator/types.rs+103-99
- compiler/noirc_frontend/src/elaborator/types/similarly_named_types.rs+103
- compiler/noirc_frontend/src/elaborator/variable.rs+3-12
- compiler/noirc_frontend/src/hir/comptime/interpreter.rs+5-7
- compiler/noirc_frontend/src/hir/printer/items/hir_def.rs+13-1
- compiler/noirc_frontend/src/hir/printer/mod.rs+9-16
- compiler/noirc_frontend/src/hir/type_check/errors.rs+51-10
- compiler/noirc_frontend/src/hir_def/stmt.rs+10-1
- compiler/noirc_frontend/src/hir_def/types.rs+48-21
- compiler/noirc_frontend/src/hir_def/types/unification.rs+8-7
- compiler/noirc_frontend/src/hir_def/types/validity.rs+11-1
- compiler/noirc_frontend/src/monomorphization/builtin.rs+5-3
- compiler/noirc_frontend/src/monomorphization/errors.rs+10-1
- compiler/noirc_frontend/src/monomorphization/mod.rs+19-6
- compiler/noirc_frontend/src/monomorphization/tests.rs+61-8
- compiler/noirc_frontend/src/ownership/tests.rs+2-2
- compiler/noirc_frontend/src/parser/errors.rs+4-2
- compiler/noirc_frontend/src/tests.rs+1
- compiler/noirc_frontend/src/tests/aliases.rs+2-2
- compiler/noirc_frontend/src/tests/oracles.rs+2-3
- compiler/noirc_frontend/src/tests/references.rs+14-23
- compiler/noirc_frontend/src/tests/type_mismatch.rs+180
- noir_stdlib/docs/std/collections/bounded_vec/struct.BoundedVec.html+9-9
- noir_stdlib/docs/std/collections/umap/struct.UHashMap.html+6-6
- noir_stdlib/docs/std/hash/trait.Hasher.html+16-1
- noir_stdlib/docs/std/option/struct.Option.html+2-2
- noir_stdlib/docs/std/primitive.array.html+47-47
- noir_stdlib/src/array/mod.nr+9-9
- noir_stdlib/src/collections/bounded_vec.nr+9-9
- noir_stdlib/src/collections/map.nr+716
- noir_stdlib/src/collections/umap.nr+62-28
- noir_stdlib/src/hash/mod.nr+7
- noir_stdlib/src/hash/poseidon2.nr+4
- noir_stdlib/src/option.nr+2-2
- test_programs/compile_failure/brillig_complex_ref_from_acir/Nargo.toml+7
- test_programs/compile_failure/brillig_complex_ref_from_acir/src/main.nr+17
- test_programs/compile_failure/similarly_named_types/Nargo.toml+8
- test_programs/compile_failure/similarly_named_types/some_lib/Nargo.toml+7
- test_programs/compile_failure/similarly_named_types/some_lib/src/lib.nr+3
- test_programs/compile_failure/similarly_named_types/src/main.nr+5
- test_programs/execution_success/immutable_ref_to_unconstrained/Nargo.toml+7
- test_programs/execution_success/immutable_ref_to_unconstrained/Prover.toml+2
- test_programs/execution_success/immutable_ref_to_unconstrained/src/main.nr+23
- test_programs/execution_success/signed_integer_or_max/Nargo.toml+6
- test_programs/execution_success/signed_integer_or_max/Prover.toml+1
- test_programs/execution_success/signed_integer_or_max/src/main.nr+3
- tooling/lsp/src/notifications/mod.rs+1-5
- tooling/lsp/src/requests/code_action/implement_missing_members.rs+12
- tooling/lsp/src/requests/hover.rs+8
- tooling/lsp/src/requests/hover/from_reference.rs+45-41
- tooling/lsp/src/requests/inlay_hint.rs+1-1
- tooling/lsp/src/trait_impl_method_stub_generator.rs+16-7
- tooling/lsp/test_programs/workspace/two/src/lib.nr+4
- tooling/nargo_cli/tests/snapshots/compile_failure/brillig_complex_ref_from_acir/execute__tests__stderr.snap+12
- tooling/nargo_cli/tests/snapshots/compile_failure/similarly_named_types/execute__tests__stderr.snap+22
- tooling/nargo_cli/tests/snapshots/compile_failure/unconstrained_ref/execute__tests__stderr.snap+1-1
- tooling/nargo_cli/tests/snapshots/compile_success_empty/comptime_trait_constraint/execute__tests__expanded.snap+4
- tooling/nargo_cli/tests/snapshots/compile_success_no_bug/function_registry/execute__tests__expanded.snap+4
- tooling/nargo_cli/tests/snapshots/compile_success_no_bug/regression_10689/execute__tests__expanded.snap+4
- tooling/nargo_cli/tests/snapshots/execution_success/comptime_quoted_hash/execute__tests__expanded.snap+4
- tooling/nargo_cli/tests/snapshots/execution_success/comptime_trait_constraint_hash_and_eq/execute__tests__expanded.snap+4
- tooling/nargo_cli/tests/snapshots/execution_success/derive/execute__tests__expanded.snap+4
- tooling/nargo_cli/tests/snapshots/execution_success/immutable_ref_to_unconstrained/execute__tests__expanded.snap+26
- tooling/nargo_cli/tests/snapshots/execution_success/immutable_ref_to_unconstrained/execute__tests__stdout.snap+5
- tooling/nargo_cli/tests/snapshots/execution_success/regression_4663/execute__tests__expanded.snap+4
- tooling/nargo_cli/tests/snapshots/execution_success/signed_integer_or_max/execute__tests__expanded.snap+7
- tooling/nargo_cli/tests/snapshots/execution_success/signed_integer_or_max/execute__tests__stdout.snap+5
- tooling/nargo_doc/src/lib.rs+1-12
0 commit comments