summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check/wfcheck.rs
AgeCommit message (Expand)AuthorLines
2023-05-24Use `Option::is_some_and` and `Result::is_ok_and` in the compilerMaybe Waffle-1/+1
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-1/+1
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-1/+1
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-9/+9
2023-04-27rename `needs_subst` to `has_param`Boxy-4/+4
2023-04-27rename `needs_infer` to `has_infer`Boxy-1/+1
2023-04-26Make some region folders a little stricter.Nicholas Nethercote-11/+4
2023-04-25Rollup merge of #110556 - kylematsuda:earlybinder-explicit-item-bounds, r=com...Matthias Krüger-3/+5
2023-04-25Remove some useless `ty::Binder::dummy` callsMaybe Waffle-1/+1
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-1/+1
2023-04-21Allow `LocalDefId` as the argument to `def_path_str`Oli Scherer-2/+2
2023-04-20add subst_identity_iter and subst_identity_iter_copied methods on EarlyBinder...Kyle Matsuda-4/+2
2023-04-20add EarlyBinder to output of explicit_item_bounds; replace bound_explicit_ite...Kyle Matsuda-3/+3
2023-04-20change usages of explicit_item_bounds to bound_explicit_item_boundsKyle Matsuda-3/+7
2023-04-12region error cleanuplcnr-9/+2
2023-04-06Make elaborator genericMichael Goulet-1/+1
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