about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2023-07-05Remove a function argument that is always passed with the same value.Oli Scherer-26/+13
2023-07-05Rollup merge of #113337 - compiler-errors:next-solver-winnow-specializing, r=...Michael Goulet-2/+2
2023-07-05Auto merge of #113210 - fee1-dead-contrib:effects-mvp, r=oli-obkbors-0/+18
2023-07-05Deal with falloutBoxy-14/+35
2023-07-05move `ConstKind` to typeir and move inherent impls to `Const`Boxy-220/+167
2023-07-05Winnow specializing implsMichael Goulet-2/+2
2023-07-04include `host_effect_index` in `Generics`Deadbeef-0/+3
2023-07-04Replace `const_error` methods with `Const::new_error`Boxy-35/+41
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-35/+106
2023-07-04enforce context effects in typeckDeadbeef-0/+15
2023-07-03remove TypeWellFormedFromEnvMichael Goulet-22/+4
2023-07-03fix structurally relate for weak aliaseslcnr-11/+15
2023-07-01Put `FnAbiError` behind reference to shrink resultNilstrieb-14/+6
2023-07-01Put `LayoutError` behind reference to shrink resultNilstrieb-11/+21
2023-06-30Fix comment of `fn_can_unwind`Gary Guo-11/+5
2023-06-28Auto merge of #112708 - flip1995:clippy-freezing-pc-with-ice, r=oli-obkbors-5/+10
2023-06-28Rustdoc nit: refer to macro from docsOli Scherer-1/+1
2023-06-27Rollup merge of #113103 - cjgillot:normalize-inhabited, r=compiler-errorsMatthias Krüger-1/+12
2023-06-27Normalize types when applying uninhabited predicate.Camille GILLOT-1/+12
2023-06-27Avoid calling queries during query stack printingOli Scherer-4/+9
2023-06-26TypeWellFormedInEnvMichael Goulet-17/+17
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-80/+74
2023-06-23Auto merge of #112891 - oli-obk:impl_trait_in_assoc_tys_cleanup, r=compiler-e...bors-0/+6
2023-06-23Rollup merge of #112870 - compiler-errors:clause-2, r=oli-obkMatthias Krüger-17/+86
2023-06-23Rollup merge of #112810 - compiler-errors:dont-ice-on-bad-layout, r=wesleywiserMatthias Krüger-1/+7
2023-06-22migrate inferred_outlives_of to ClauseMichael Goulet-11/+8
2023-06-22Expect clause moreMichael Goulet-5/+2
2023-06-22Migrate item_bounds to ty::ClauseMichael Goulet-9/+84
2023-06-22Move `opaque_type_origin_unchecked` onto `TyCtxt` and re-use it where it was ...Oli Scherer-0/+6
2023-06-21Print def_id on EarlyBoundRegion debugSantiago Pastorino-1/+1
2023-06-21Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnrNilstrieb-119/+183
2023-06-21Rollup merge of #112759 - cjgillot:closure-names, r=oli-obkNilstrieb-76/+0
2023-06-21Auto merge of #112119 - zirconium-n:issue-113072-merge-borrow-kind, r=lcnrbors-0/+2
2023-06-20address most easy commentsZiru Niu-0/+2
2023-06-20Rollup merge of #112786 - lcnr:early-binder, r=NilstriebGuillaume Gomez-55/+60
2023-06-20Auto merge of #112320 - compiler-errors:do-not-impl-via-obj, r=lcnrbors-0/+10
2023-06-20Merge attrs, better validationMichael Goulet-4/+6
2023-06-20Make rustc_deny_explicit_impl only local as wellMichael Goulet-0/+3
2023-06-20Add rustc_do_not_implement_via_objectMichael Goulet-0/+5
2023-06-19Don't ICE on unnormalized struct tail in layout computationMichael Goulet-1/+7
2023-06-19Store generator field names in GeneratorLayout.Camille GILLOT-44/+0
2023-06-19Make closure_saved_names_of_captured_variables a query.Camille GILLOT-32/+0
2023-06-19docMichael Goulet-1/+11
2023-06-19Fully fledged Clause typeMichael Goulet-45/+93
2023-06-19s/Clause/ClauseKindMichael Goulet-90/+96
2023-06-19change binders from tuple structs to named fieldslcnr-55/+60
2023-06-18Rollup merge of #112734 - dswij:bounds-predicates-clause, r=compiler-errorsMatthias Krüger-0/+7
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-14/+12
2023-06-17Move WF goal to clauseMichael Goulet-11/+11
2023-06-17`Bound::predicates` to return `Clause`dswij-0/+7