internal error: Anonymous calls should not be reachable at this point

[tim-hoffman]

Input:

pragma circom 2.2.0;
template Main(N) {}
component main = Main((0,1,3));

Command line:
circom --c ... (probably pretty much anything)

Error:

thread 'main' (28778183) panicked at type_analysis/src/analyzers/type_check.rs:959:15:
internal error: entered unreachable code: Anonymous calls should not be reachable at this point.
stack backtrace:
   0: __rustc::rust_begin_unwind
   1: core::panicking::panic_fmt
   2: core::panicking::unreachable_display
             at /private/tmp/nix-build-rustc-1.91.1.drv-1/rustc-1.91.1-src/library/core/src/panicking.rs:240:5
   3: type_analysis::analyzers::type_check::type_expression
             at ./type_analysis/src/analyzers/type_check.rs:959:15
   4: type_analysis::analyzers::type_check::type_array_of_expressions
             at ./type_analysis/src/analyzers/type_check.rs:1336:29
   5: type_analysis::analyzers::type_check::type_expression
             at ./type_analysis/src/analyzers/type_check.rs:853:17
   6: type_analysis::analyzers::type_check::type_check
             at ./type_analysis/src/analyzers/type_check.rs:92:9
   7: type_analysis::check_types::check_types
             at ./type_analysis/src/check_types.rs:50:25
   8: circom::type_analysis_user::analyse_project
             at ./circom/src/type_analysis_user.rs:6:27
   9: circom::start
             at ./circom/src/main.rs:28:5

[tim-hoffman]

Similar error occurs with all of the following:

• component main = Main( Main(4)() );
• component main = Main( parallel Main(4)() );
• either of the above but replacing Main(4) with a bus constructor
• and more complicated things like component main = Main( 12 + -f(Main(12)()) );

[clararod9]

Hi! Thank your for reporting the issue :)

We have solved it in the last commit, now all the test cases should work as expected returning an error instead of panicking