about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check/wfcheck.rs
AgeCommit message (Expand)AuthorLines
2023-03-30Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray-2/+2
2023-03-28Rollup merge of #109629 - aliemjay:remove-givens, r=lcnrnils-3/+1
2023-03-26Don't elaborate non-obligations into obligationsMichael Goulet-5/+2
2023-03-26remove obsolete `givens` from regionckAli MJ Al-Nasrawy-3/+1
2023-03-23Deeply check WF for RPITITsMichael Goulet-33/+72
2023-03-21Use LocalDefId in ItemCtxtMichael Goulet-1/+1
2023-03-17Rollup merge of #109198 - compiler-errors:new-rpitit-default-body, r=spastorinoMatthias Krüger-7/+17
2023-03-16Don't install default opaque projection predicates in RPITIT associated type'...Michael Goulet-11/+17
2023-03-15ImplTraitPlaceholder -> is_impl_trait_in_traitSantiago Pastorino-2/+6
2023-03-15Rename impl_trait_in_trait_parent to impl_trait_in_trait_parent_fnSantiago Pastorino-1/+1
2023-03-15Revert "Auto merge of #107376 - aliemjay:remove-givens, r=lcnr"Rémy Rakic-1/+3
2023-03-15Auto merge of #107376 - aliemjay:remove-givens, r=lcnrbors-3/+1
2023-03-09Remove body_def_id from InheritedMichael Goulet-1/+1
2023-03-09remove obsolete `givens` from regionckAli MJ Al-Nasrawy-3/+1
2023-02-24Rename many interner functions.Nicholas Nethercote-3/+4
2023-02-22Remove type-traversal trait aliasesAlan Egerton-6/+6
2023-02-21Auto merge of #108138 - compiler-errors:malformed-fn-trait, r=TaKO8Kibors-51/+1
2023-02-18Assume we can normalize trait default method RPITITs in param-env insteadMichael Goulet-1/+1
2023-02-17Auto merge of #108075 - WaffleLapkin:de-arena-allocates-you-OwO, r=Nilstriebbors-2/+2
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-20/+12
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-12/+20
2023-02-16Move call trait lang item malformed check to typeckMichael Goulet-51/+1
2023-02-16Auto merge of #108020 - nnethercote:opt-mk_region, r=compiler-errorsbors-18/+15
2023-02-15Rollup merge of #108010 - compiler-errors:can_eq-returns-bool, r=lcnrMatthias Krüger-1/+1
2023-02-15Copy `ty::AssocItem` all other the placeMaybe Waffle-2/+2
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-18/+15
2023-02-13Make can_eq and can_sub return booleansMichael Goulet-1/+1
2023-02-13Make visiting traits generic over the InternerAlan Egerton-2/+2
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-3/+3
2023-02-13Reduce direct `mk_ty` usage.Nicholas Nethercote-2/+1
2023-01-30Rollup merge of #107125 - WaffleLapkin:expect_an_item_in_your_hir_by_the_next...Matthias Krüger-4/+4
2023-01-29Auto merge of #106253 - nbdd0121:upcast, r=compiler-errorsbors-1/+1
2023-01-28Rename `is_object_safe` to `check_is_object_safe` to hint side effectsGary Guo-1/+1
2023-01-28Replace `object_safety_violations().is_empty()` calls with `is_object_safe`Gary Guo-1/+1
2023-01-28Remove `HirId -> LocalDefId` map from HIR.Camille GILLOT-5/+12
2023-01-26change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyB...Kyle Matsuda-4/+4
2023-01-26replace usages of fn_sig query with bound_fn_sigKyle Matsuda-4/+4
2023-01-23fix: use LocalDefId instead of HirId in trait resVincenzo Palazzo-38/+48
2023-01-20Add and use expect methods to hir.Maybe Waffle-4/+4
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