Closed
Description
Lints are a pain at the moment because they operate on the AST but need type info which belongs to the HIR. We should have two kinds of lints - purely syntactic ones which operate on the (expanded) AST and run early (before AST->HIR lowering) and ones which can access type info and operate on the HIR (in the current position). We probably need to think about how this will interact with the MIR too.