about summary refs log tree commit diff
path: root/compiler/rustc_ty_utils/src/ty.rs
AgeCommit message (Expand)AuthorLines
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-4/+1
2022-12-13Combine projection and opaque into aliasMichael Goulet-1/+1
2022-11-21Stop passing the self-type as a separate argument.Oli Scherer-1/+1
2022-11-21Allow iterators instead of requiring slices that will get turned into iteratorsOli Scherer-1/+1
2022-11-21Assert that various types have the right amount of generic args and fix the s...Oli Scherer-6/+3
2022-11-21Auto merge of #103491 - cjgillot:self-rpit, r=oli-obkbors-5/+0
2022-11-20Factor out conservative_is_privately_uninhabitedCameron Steffen-57/+0
2022-11-13Create bidirectional bounds between original and duplicated parameters.Camille GILLOT-5/+0
2022-11-02Properly render asyncness for traits without default bodyMichael Goulet-1/+1
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-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-09ImplItemKind::TyAlias => ImplItemKind::TypeMichael Goulet-1/+1
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-1/+0
2022-09-12Plumb dyn trait representation through ty::DynamicEric Holk-1/+1
2022-09-01tracing::instrument cleanupOli Scherer-2/+0
2022-08-26Replace `Body::basic_blocks()` with field accessTomasz Miąsko-1/+1
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-01Store associated item defaultness in impl_defaultness.Camille GILLOT-5/+7
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-13Rename `debugging_opts` to `unstable_opts`Joshua Nelson-1/+1
2022-07-04remove an unused `DefId`lcnr-1/+1
2022-06-10Implement def_ident_span in rustc_middle.Camille GILLOT-17/+0
2022-05-30Auto merge of #96964 - oli-obk:const_trait_mvp, r=compiler-errorsbors-2/+2
2022-05-30Add a helper function for checking whether a default function in a trait can ...Oli Scherer-2/+4
2022-05-30Remove `#[default..]` and add `#[const_trait]`Deadbeef-3/+1
2022-05-28Move things to rustc_type_irWilco Kusee-1/+1
2022-05-13Add bound_type_ofJack Huey-1/+1
2022-05-10Introduce EarlyBinderJack Huey-3/+5
2022-04-10Avoid accessing HIR from MIR queries.Camille GILLOT-6/+1
2022-03-31Merge impl_constness and is_const_fn_raw.Camille GILLOT-10/+0
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-4/+4
2022-02-21use `List<Ty<'tcx>>` for tupleslcnr-3/+3
2022-02-19Adopt let else in more placesest31-4/+1
2022-02-15Overhaul `RegionKind` and `Region`.Nicholas Nethercote-1/+1
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-1/+1
2022-01-31Rollup merge of #90277 - pierwill:fix-70258-inference-terms, r=jackh726Matthias Krüger-1/+1
2022-01-16Auto merge of #92805 - BoxyUwU:revert-lazy-anon-const-substs, r=lcnrbors-12/+2
2022-01-15Reduce use of local_def_id_to_hir_id.Camille GILLOT-5/+2
2022-01-15initial revertEllen-12/+2
2022-01-07Move associated_item* providers to their own moduleMatthew Jasper-225/+2
2022-01-07Add `trait_item_def_id` to `AssocItem`Matthew Jasper-1/+107
2021-12-17Use a const ParamEnv when in default_method_body_is_constDeadbeef-1/+7
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-12/+73
2021-12-07Store impl_trait_fn inside OpaqueTyOrigin.Camille GILLOT-2/+2
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-73/+12