Check for Unrecognized Type

[d0cd]

This PR

• checks that a type has been defined during type checking.
• Closes https://github.com/AleoHQ/leo/issues/2012

[codecov[bot]]

Codecov Report

Merging #2014 (67f9890) into testnet3 (ce2d8f8) will increase coverage by 0.10%. The diff coverage is 94.11%.

@@             Coverage Diff              @@
##           testnet3    #2014      +/-   ##
============================================
+ Coverage     81.88%   81.99%   +0.10%     
============================================
  Files           130      130              
  Lines          5488     5503      +15     
  Branches       5487     5502      +15     
============================================
+ Hits           4494     4512      +18     
+ Misses          994      991       -3     

Impacted Files	Coverage Δ
...iler/passes/src/type_checking/check_expressions.rs	82.01% <0.00%> (ø)
...rors/src/errors/type_checker/type_checker_error.rs	63.79% <ø> (+3.44%)	:arrow_up:
compiler/passes/src/type_checking/check_program.rs	97.10% <100.00%> (+0.27%)	:arrow_up:
...piler/passes/src/type_checking/check_statements.rs	92.98% <100.00%> (+0.06%)	:arrow_up:
compiler/passes/src/type_checking/checker.rs	95.68% <100.00%> (+0.26%)	:arrow_up:
compiler/ast/src/types/type_.rs	88.23% <0.00%> (+2.94%)	:arrow_up:

:mega: We’re building smart automated test selection to slash your CI/CD build times. Learn more