Add a pass between type-checking and IR to resolve types #1820
Labels
compiler: frontend
Everything to do with type checking, control flow analysis, and everything between parsing and IRgen
compiler: ir
IRgen and sway-ir including optimization passes
Needs RFC
Features that require an RFC before proceeding with an implementation
P: medium
Add a pass between type-checking and IR that resolves all types
This will be used to implement #1819
The text was updated successfully, but these errors were encountered: