about summary refs log tree commit diff
path: root/compiler/rustc_ty_utils/src
AgeCommit message (Expand)AuthorLines
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/+2630
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
2022-08-26Migrate rustc_ty_utils to use SessionDiagnosticPeter Medus-94/+158
2022-08-26Replace `Body::basic_blocks()` with field accessTomasz Miąsko-1/+1
2022-08-24Store blocks in `Thir`.Nicholas Nethercote-6/+9
2022-08-17implied_bounds: clarify our assumptionslcnr-0/+62
2022-08-07Built-in implementation of Tuple traitMichael Goulet-1/+2
2022-08-03Add bound_impl_subject and bound_return_tyJack Huey-3/+1
2022-08-03Change sized_constraints to return EarlyBinderJack Huey-1/+2
2022-08-01Remove trait_of_item query.Camille GILLOT-8/+0
2022-08-01Remove DefId from AssocItemContainer.Camille GILLOT-17/+8
2022-08-01Remove visibility from AssocItem.Camille GILLOT-8/+2
2022-08-01Store associated item defaultness in impl_defaultness.Camille GILLOT-8/+8
2022-07-29Rename local_did to def_idMiguel Guarniz-4/+8
2022-07-29Change maybe_body_owned_by to take local def idMiguel Guarniz-3/+4
2022-07-22Do not resolve associated const when there is no provided valueMichael Goulet-0/+5
2022-07-20Remove unused StableMap and StableSet types from rustc_data_structuresMichael Woerister-1/+1
2022-07-14Rollup merge of #99000 - JulianKnodt:allow_resolve_no_substs, r=lcnrDylan DPC-2/+396
2022-07-14Fix overlapping implskadmin-2/+2