Implements the calling of generic functions in the interpreter
Additional Context
I've removed the "type_check" method entirely since it was causing errors. Certain types wouldn't match up (even with follow_bindings). I couldn't fix this so I removed it since it is duplicated work from type checking anyway.
Documentation*
Check one:
[x] No documentation needed.
[ ] Documentation included in this PR.
[ ] [For Experimental Features] Documentation to be submitted in a separate PR.
PR Checklist*
[x] I have tested the changes locally.
[x] I have formatted the changes with Prettier and/or cargo fmt on default settings.
Description
Problem*
Resolves https://github.com/noir-lang/noir/issues/4924
Summary*
Implements the calling of generic functions in the interpreter
Additional Context
I've removed the "type_check" method entirely since it was causing errors. Certain types wouldn't match up (even with
follow_bindings
). I couldn't fix this so I removed it since it is duplicated work from type checking anyway.Documentation*
Check one:
PR Checklist*
cargo fmt
on default settings.