about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/hir_wf_check.rs
AgeCommit message (Expand)AuthorLines
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