about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/hir_wf_check.rs
AgeCommit message (Expand)AuthorLines
2025-01-23`visit_x_unambig`Boxy-1/+1
2025-01-23Split hir `TyKind` and `ConstArgKind` in two and update `hir::Visitor`Boxy-7/+12
2024-11-28uplift fold_regions to rustc_type_irlcnr-1/+2
2024-10-29TypingMode :thinking:lcnr-2/+2
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_hir_analysis`.Nicholas Nethercote-0/+1
2024-08-27Add `warn(unreachable_pub)` to `rustc_hir_analysis`.Nicholas Nethercote-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-1/+2
2024-06-04Handle safety keyword for extern block inner itemsSantiago Pastorino-1/+1
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-1/+1
2024-05-13Remove `extern crate rustc_middle` from `rustc_hir_analysis`.Nicholas Nethercote-0/+1
2024-04-22Do not ICE on `AnonConst`s in `diagnostic_hir_wf_check`Gurinder Singh-6/+8
2024-03-22Auto merge of #122869 - matthiaskrgr:rollup-0navj4l, r=matthiaskrgrbors-0/+10
2024-03-22Rename AstConv to HIR ty loweringLeón Orell Valerian Liehr-1/+1
2024-03-19Gracefully handle AnonConst in diagnostic_hir_wf_check()Gurinder Singh-0/+10
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-1/+1
2023-12-12Move some methods from `tcx.hir()` to `tcx`zetanumbers-1/+1
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-1/+1
2023-11-26rustc: `hir().local_def_id_to_hir_id()` -> `tcx.local_def_id_to_hir_id()` cle...Vadim Petrochenkov-1/+1
2023-11-17replace unnecessary folder impls with fold_regionlcnr-24/+8
2023-11-13rename `ReLateBound` to `ReBound`lcnr-1/+2
2023-07-28Lower generic const items to HIRLeón Orell Valerian Liehr-1/+1
2023-06-19s/Clause/ClauseKindMichael Goulet-1/+1
2023-06-17Move WF goal to clauseMichael Goulet-1/+1
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-1/+3
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-1/+1
2023-03-22Auto merge of #109119 - lcnr:trait-system-cleanup, r=compiler-errorsbors-21/+21
2023-03-21Use LocalDefId in ItemCtxtMichael Goulet-1/+1
2023-03-21remove some trait solver helperslcnr-21/+21
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-02-13Rename folder traits' `tcx` method to `interner`Alan Egerton-1/+1
2023-02-13Make folding traits generic over the InternerAlan Egerton-1/+1
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-1/+1
2023-01-23fix: use LocalDefId instead of HirId in trait resVincenzo Palazzo-4/+5
2023-01-17`rustc_hir_analysis`: remove `ref` patternsMaybe Waffle-1/+1
2023-01-12Point at HIR types when impl trait ref doesn't normalizeMichael Goulet-17/+29
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-3/+3
2022-10-10Rollup merge of #102829 - compiler-errors:rename-impl-item-kind, r=TaKO8KiYuki Okushi-1/+1
2022-10-09ImplItemKind::TyAlias => ImplItemKind::TypeMichael Goulet-1/+1
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-29/+27
2022-09-27rustc_typeck to rustc_hir_analysislcnr-0/+188