about summary refs log tree commit diff
path: root/compiler/rustc_ty_utils
AgeCommit message (Expand)AuthorLines
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-2/+0
2022-06-11Auto merge of #95880 - cjgillot:def-ident-span, r=petrochenkovbors-17/+0
2022-06-10Implement def_ident_span in rustc_middle.Camille GILLOT-17/+0
2022-06-08Auto merge of #97860 - Dylan-DPC:rollup-t3vxos8, r=Dylan-DPCbors-5/+9
2022-06-08Rollup merge of #97595 - ouz-a:issue-97381, r=compiler-errorsDylan DPC-5/+9
2022-06-08Folding revamp.Nicholas Nethercote-1/+3
2022-06-05get_vtable returns opt instd of unwrppingouz-a-5/+9
2022-06-03Fully stabilize NLLJack Huey-1/+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-28Initial fixes on top of type interner commitMichael Goulet-0/+1
2022-05-28Move things to rustc_type_irWilco Kusee-1/+1
2022-05-17Auto merge of #97012 - oli-obk:🦀_intrinsics, r=davidtwcobors-7/+1
2022-05-16Add a query for checking whether a function is an intrinsic.Oli Scherer-7/+1
2022-05-14Auto merge of #96883 - jackh726:early-binder-2, r=oli-obkbors-6/+8
2022-05-13Add bound_type_ofJack Huey-2/+2
2022-05-11Gracefully fail to resolve associated items instead of `delay_span_bug`.Camille GILLOT-1/+17
2022-05-10Introduce EarlyBinderJack Huey-6/+8
2022-04-10Avoid accessing HIR from MIR queries.Camille GILLOT-6/+1
2022-04-01Auto merge of #94883 - cjgillot:flat-metadata, r=oli-obkbors-10/+0
2022-03-31Merge impl_constness and is_const_fn_raw.Camille GILLOT-10/+0
2022-03-31Specialize suggestion for Option<T>Michael Goulet-23/+47
2022-03-21Rename `~const Drop` to `~const Destruct`Deadbeef-1/+1
2022-03-17Rollup merge of #94960 - codehorseman:master, r=oli-obkDylan DPC-3/+3
2022-03-16rustc_error: make ErrorReported impossible to constructmark-2/+2
2022-03-16resolve the conflict in compiler/rustc_session/src/parse.rscodehorseman-3/+3
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-21/+24
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-7/+7
2022-02-24Restrict query recursion in `needs_significant_drop`Jakob Degen-19/+17
2022-02-21use `List<Ty<'tcx>>` for tupleslcnr-5/+5
2022-02-19Adopt let else in more placesest31-4/+2
2022-02-15Overhaul `RegionKind` and `Region`.Nicholas Nethercote-3/+3
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-3/+3
2022-02-01remove `TyS::same_type`lcnr-1/+1
2022-01-31Rollup merge of #90277 - pierwill:fix-70258-inference-terms, r=jackh726Matthias Krüger-1/+1
2022-01-19Store a `Symbol` instead of an `Ident` in `AssocItem`Aaron Hill-2/+2
2022-01-16Auto merge of #92805 - BoxyUwU:revert-lazy-anon-const-substs, r=lcnrbors-16/+2
2022-01-15Reduce use of local_def_id_to_hir_id.Camille GILLOT-11/+3
2022-01-15Return a LocalDefId in get_parent_item.Camille GILLOT-2/+1
2022-01-15initial revertEllen-16/+2
2022-01-08Link impl items to corresponding trait items in late resolver.Camille GILLOT-104/+2
2022-01-07Add query to avoid name comparison in `leaf_def`Matthew Jasper-24/+28
2022-01-07Move associated_item* providers to their own moduleMatthew Jasper-225/+234
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-03Rollup merge of #91462 - b-naber:use-try-normalize-erasing-regions, r=jackh726Matthias Krüger-2/+4