Module rustc_hir_analysis::hir_ty_lowering::lint