@LHolten suggested that types (struct, enum, trait, etc.) would be easier to resolve than function bodies. Within the former, macros and local variables cannot be declared, and out-of-order path-based name resolution is the only necessary step. It makes sense to begin implementing name resolution by limiting scope to them.
@LHolten suggested that types (`struct`, `enum`, `trait`, etc.) would be easier to resolve than function bodies. Within the former, macros and local variables cannot be declared, and out-of-order path-based name resolution is the only necessary step. It makes sense to begin implementing name resolution by limiting scope to them.