about summary refs log tree commit diff
path: root/compiler/rustc_ty_utils/src/ty.rs
AgeCommit message (Expand)AuthorLines
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
2021-12-02Auto merge of #91354 - fee1-dead:const_env, r=spastorinobors-12/+73
2021-12-01FormatDeadbeef-6/+26
2021-11-29`ParamEnv` should be const when `ImplItem` is within a const impl.Deadbeef-1/+37
2021-11-29Completely remove ConstnessAndOli Scherer-3/+1
2021-11-29Re-use `constness_for_typeck` instead of rolling it ourselvesOli Scherer-11/+1
2021-11-29Add constness to ParamEnvOli Scherer-10/+27
2021-11-28Take a LocalDefId in expect_*item.Camille GILLOT-7/+4
2021-11-06Improve terminology around "after typeck"pierwill-1/+1
2021-10-25expose default substs in param_envb-naber-0/+12
2021-10-19Replace FnLikeNode by FnKind.Camille GILLOT-3/+2
2021-09-20Do not store visibility in *ItemRef.Camille GILLOT-1/+1
2021-08-27Auto merge of #88371 - Manishearth:rollup-pkkjsme, r=Manishearthbors-1/+12
2021-08-26Rollup merge of #88123 - camelid:tup-pat-precise-spans, r=estebankManish Goregaokar-1/+12
2021-08-26add `tcx` to `fn walk`lcnr-2/+2
2021-08-22Fix typos “a”→“an”Frank Steffahn-2/+2