summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check/wfcheck.rs
AgeCommit message (Expand)AuthorLines
2023-01-20Auto merge of #106090 - WaffleLapkin:dereffffffffff, r=Nilstriebbors-6/+6
2023-01-17Stop using `BREAK` & `CONTINUE` in compilerScott McMurray-1/+1
2023-01-17`rustc_hir_analysis`: remove `ref` patternsMaybe Waffle-6/+6
2023-01-15Remove bound_{explicit,}_item_boundsMichael Goulet-5/+4
2023-01-15Make InstantiatedPredicates impl IntoIteratorMichael Goulet-11/+9
2023-01-14change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re...Kyle Matsuda-3/+2
2023-01-14change usages of impl_trait_ref to bound_impl_trait_refKyle Matsuda-3/+4
2023-01-14change const_param_default query to return EarlyBinder; remove bound_const_pa...Kyle Matsuda-2/+2
2023-01-14change usages of const_param_default query to bound_const_param_defaultKyle Matsuda-2/+2
2023-01-12Only point at impl self ty in WF if trait predicate shares self tyMichael Goulet-2/+9
2023-01-12Point at impl self type for impl wf obligationsMichael Goulet-1/+1
2023-01-12Point at HIR types when impl trait ref doesn't normalizeMichael Goulet-1/+5
2023-01-11Move autoderef to rustc_hir_analysisMichael Goulet-1/+2
2023-01-09Rollup merge of #106164 - compiler-errors:check-region-tweak, r=oli-obkfee1-dead-1/+3
2023-01-08Normalize assumed_wf_types after wfchecking is complete, for better spansMichael Goulet-3/+4
2023-01-08Improve spans of non-WF implied bound typesMichael Goulet-37/+21
2023-01-08Add type flags support for Ty and Const late-bound regionsMichael Goulet-1/+1
2023-01-03Move check_region_obligations_and_report_errors to TypeErrCtxtMichael Goulet-1/+3
2022-12-29Rollup merge of #106221 - Nilstrieb:rptr-more-like-ref-actually, r=compiler-e...Matthias Krüger-1/+1
2022-12-28Rename `Rptr` to `Ref` in AST and HIRNilstrieb-1/+1
2022-12-28Auto merge of #106129 - compiler-errors:compare_method-tweaks, r=BoxyUwUbors-1/+1
2022-12-25fix more clippy::style findingsMatthias Krüger-4/+1
2022-12-24Bubble up ErrorGuaranteed from region constraints in method item compareMichael Goulet-1/+1
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-1/+1
2022-12-13Combine projection and opaque into aliasMichael Goulet-2/+2
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-5/+5
2022-12-10compiler: remove unnecessary imports and qualified pathsKaDiWa-1/+0
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