summary refs log tree commit diff
path: root/compiler/rustc_ty_utils
AgeCommit message (Expand)AuthorLines
2022-10-29Rollup merge of #103625 - WaffleLapkin:no_tyctxt_dogs_allowed, r=compiler-errorsGuillaume Gomez-6/+5
2022-10-29Rename some `OwnerId` fields.Nicholas Nethercote-8/+8
2022-10-27Accept `TyCtxt` instead of `TyCtxtAt` in `Ty::is_*` functionsMaybe Waffle-6/+5
2022-10-26Auto merge of #103284 - compiler-errors:const-sad, r=oli-obkbors-1/+73
2022-10-23Migrate all diagnosticsNilstrieb-24/+24
2022-10-21Introduce deduced parameter attributes, and use them for deducing `readonly` onPatrick Walton-5/+38
2022-10-20Note discrepancies in constness calculationMichael Goulet-0/+5
2022-10-20Revert "Unify tcx.constness and param env constness checks"Michael Goulet-1/+68
2022-10-14more dupe word typosRageking8-1/+1
2022-10-12Rollup merge of #102830 - compiler-errors:constness-parity, r=fee1-deadDylan DPC-68/+1
2022-10-12Unify tcx.constness and param env constness checksMichael Goulet-68/+1
2022-10-10Check representability in adt_sized_constraintCameron Steffen-4/+8
2022-10-10Rollup merge of #102786 - compiler-errors:no-tuple-candidate, r=lcnrDylan DPC-2/+1
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-08Auto merge of #100720 - camsteffen:representable, r=cjgillotbors-359/+93
2022-10-07Remove tuple candidate, nothing special about itMichael Goulet-2/+1
2022-10-07Rewrite representabilityCameron Steffen-359/+93
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-22/+13
2022-10-06Rollup merge of #98496 - BoxyUwU:instancers_bad_equality, r=lcnrMatthias Krüger-31/+6
2022-10-04Rollup merge of #102653 - lcnr:delay_span_bug, r=fee1-deadMatthias Krüger-2/+6
2022-10-04missing value to delay_span_buglcnr-2/+6
2022-10-04It's not about types or consts, but the lack of regionsOli Scherer-8/+8
2022-10-03Move utils from rustc_middle to rustc_ty_utilsCameron Steffen-2/+2632
2022-09-30make query take `(LocalDefId, DefId)`Boxy-7/+4
2022-09-30make `compare_const_impl` a query and use it in `instance.rs`Boxy-30/+8
2022-09-27rustc_typeck to rustc_hir_analysislcnr-1/+1
2022-09-26remove cfg(bootstrap)Pietro Albini-1/+0
2022-09-24separate definitions and `HIR` ownersTakayuki Maeda-1/+1
2022-09-23rename Unevaluated to UnevaluatedConstb-naber-1/+2
2022-09-21UPDATE - rename SessionSubdiagnostic macro to SubdiagnosticJhonny Bill Mena-2/+2
2022-09-21UPDATE - rename DiagnosticHandler macro to DiagnosticJhonny Bill Mena-3/+3
2022-09-21UPDATE - rename DiagnosticHandler trait to IntoDiagnosticJhonny Bill Mena-3/+3
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-2/+0
2022-09-17Rollup merge of #93628 - est31:stabilize_let_else, r=joshtriplettDylan DPC-1/+1
2022-09-17Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnrbors-11/+0
2022-09-15Only enable the let_else feature on bootstrapest31-1/+1
2022-09-13rebaseb-naber-11/+0
2022-09-12Plumb dyn trait representation through ty::DynamicEric Holk-1/+1
2022-09-12Auto merge of #100251 - compiler-errors:tuple-trait-2, r=jackh726bors-1/+2
2022-09-11Apply formatting fixesAndrew Cann-4/+4
2022-09-11implement Copy/Clone for generatorsAndrew Cann-1/+4
2022-09-09rename `codegen_fulfill_obligation`lcnr-4/+2
2022-09-09`resolve_instance`: remove `BoundVarsCollector`lcnr-108/+3
2022-09-09RPITIT placeholder itemsMichael Goulet-0/+1
2022-09-02Box `PatKind::Range`.Nicholas Nethercote-1/+1
2022-09-02Clean up THIR patterns.Nicholas Nethercote-1/+1
2022-09-01tracing::instrument cleanupOli Scherer-2/+0
2022-09-01Always import all tracing macros for the entire crate instead of piecemeal by...Oli Scherer-2/+0
2022-08-29Rollup merge of #99027 - tmiasko:basic-blocks, r=oli-obkMatthias Krüger-1/+1