7a626cf7ce
Lint bare traits in AstConv. Removing the lint from lowering allows to: - make lowering querification easier; - have the lint implementation in only one place. r? `@estebank`
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.