summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check/wfcheck.rs
AgeCommit message (Expand)AuthorLines
2022-12-04Use parent function WfCheckingContext to check RPITIT.Camille GILLOT-17/+16
2022-11-28Make ObligationCtxt::normalize take cause by borrowMichael Goulet-1/+1
2022-11-28FnCtxt normalization stuffMichael Goulet-0/+2
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-9/+13
2022-11-25Simplify a bunch of trait ref obligation creationsOli Scherer-1/+1
2022-11-21Stop passing the self-type as a separate argument.Oli Scherer-1/+1
2022-11-21Add helper to create the trait ref for a lang itemOli Scherer-1/+1
2022-11-21Allow iterators instead of requiring slices that will get turned into iteratorsOli Scherer-1/+1
2022-11-21Assert that various types have the right amount of generic args and fix the s...Oli Scherer-4/+1
2022-11-21Auto merge of #103491 - cjgillot:self-rpit, r=oli-obkbors-13/+16
2022-11-17Rollup merge of #104483 - oli-obk:santa-clauses-make-goals, r=compiler-errorsMatthias Krüger-8/+9
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-8/+9
2022-11-13Store a LocalDefId in hir::GenericParam.Camille GILLOT-1/+1
2022-11-13Create bidirectional bounds between original and duplicated parameters.Camille GILLOT-13/+16
2022-11-12Auto merge of #103530 - cjgillot:hir-lifetimes-direct, r=estebankbors-1/+1
2022-11-11Tweak signatures in rustc_middle::hir::map.Camille GILLOT-1/+1
2022-11-09Rollup merge of #104156 - oli-obk:autoderef, r=estebankManish Goregaokar-2/+1
2022-11-08Reduce the scope of allow(rustc::potential_query_instability) in rustc_trait_...CastilloDel-8/+8
2022-11-08Remove overloaded_span argument from `new`, where it is usually redundant wit...Oli Scherer-2/+1
2022-11-08Rollup merge of #103865 - compiler-errors:fallback-has-occurred-tracking, r=e...Dylan DPC-1/+1
2022-11-06Move fallback_has_occurred to FnCtxtMichael Goulet-1/+1
2022-11-05Adjust diagnostics, bless testsMichael Goulet-2/+8
2022-11-05Enforce rust-check ABI in signatures, callsMichael Goulet-0/+22
2022-11-01Auto merge of #103590 - compiler-errors:ocx-more, r=lcnrbors-4/+2
2022-10-31Use AdtDef in wfcheck.Camille GILLOT-79/+28
2022-10-29Rename some `OwnerId` fields.Nicholas Nethercote-29/+29
2022-10-27remove _types from ocx method namesMichael Goulet-4/+2
2022-10-26Process registered region obligation in resolve_regions_with_wf_tysMichael Goulet-0/+4
2022-10-18change `ConstEvaluatable` to use `ty::Const`lcnr-6/+1
2022-10-10Check representability in adt_sized_constraintCameron Steffen-0/+2
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-32/+30
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-1/+1
2022-10-07Introduce TypeErrCtxtCameron Steffen-4/+7
2022-10-04It's not about types or consts, but the lack of regionsOli Scherer-3/+1
2022-09-27rustc_typeck to rustc_hir_analysislcnr-0/+1990