summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/util.rs
AgeCommit message (Expand)AuthorLines
2022-05-14Auto merge of #96883 - jackh726:early-binder-2, r=oli-obkbors-2/+29
2022-05-14Add bound_explicit_item_bounds and bound_item_boundsJack Huey-0/+14
2022-05-13Add bound_impl_trait_refJack Huey-0/+4
2022-05-13Add bound_fn_sigJack Huey-0/+4
2022-05-13Add bound_type_ofJack Huey-2/+6
2022-05-10Introduce EarlyBinderJack Huey-2/+3
2022-05-10only_local: always check for misuselcnr-3/+2
2022-05-07Auto merge of #96094 - Elliot-Roberts:fix_doctests, r=compiler-errorsbors-1/+1
2022-05-02fix most compiler/ doctestsElliot Roberts-1/+1
2022-05-02rustc: Panic by default in `DefIdTree::parent`Vadim Petrochenkov-5/+3
2022-04-27combine all unsized types and add another recursive call to process nested un...b-naber-1/+1
2022-04-26add hacky closure to struct_tail_with_normalize in order to allow us to walk ...b-naber-3/+11
2022-04-12Remove NodeIdHashingMode.Camille GILLOT-6/+1
2022-04-08Avoid looking at the internals of Interned directlyOli Scherer-23/+20
2022-04-07Document and rename the new wrapper typeOli Scherer-2/+4
2022-03-31Move stable hash from TyS into a datastructure that can be shared with other ...Oli Scherer-2/+2
2022-03-29Remember mutability in `DefKind::Static`.Camille GILLOT-1/+8
2022-03-16resolve the conflict in compiler/rustc_session/src/parse.rscodehorseman-1/+1
2022-03-12Queryify `is_doc_hidden`Noah Lev-2/+10
2022-03-12Auto merge of #94733 - nnethercote:fix-AdtDef-interning, r=fee1-deadbors-4/+4
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-4/+4
2022-03-10short-circuit the easy cases in `is_copy_modulo_regions`Scott McMurray-1/+1
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-2/+2
2022-02-21use `List<Ty<'tcx>>` for tupleslcnr-8/+8
2022-02-16extract Res to `generics_of` def_id conversionlcnr-1/+32
2022-02-15Overhaul `Const`.Nicholas Nethercote-9/+11
2022-02-15Overhaul `RegionKind` and `Region`.Nicholas Nethercote-3/+4
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-29/+27
2022-02-01remove `TyS::same_type`lcnr-13/+0
2022-01-19Foreign types are trivially dropMichael Goulet-5/+5
2022-01-19never is trivially const-drop, and add testMichael Goulet-2/+2
2022-01-18Short-circuit some trivially const Drop typesMichael Goulet-0/+36
2021-12-24Normalize struct tail type when checking Pointee traitMichael Goulet-1/+1
2021-12-15Remove `in_band_lifetimes` from `rustc_middle`Aaron Hill-2/+2
2021-12-03Rollup merge of #91462 - b-naber:use-try-normalize-erasing-regions, r=jackh726Matthias Krüger-2/+6
2021-12-02use try_normalize_erasing_regions in needs_dropb-naber-2/+6
2021-12-02Rename TypeFolderFallible to FallibleTypeFolderAlan Egerton-2/+2
2021-12-02Reduce boilerplate around infallible foldersAlan Egerton-10/+10
2021-11-26Unwrap the results of type foldersLeSeulArtichaut-3/+3
2021-11-26Adapt `TypeFolder` implementors to return a `Result`LeSeulArtichaut-15/+21
2021-11-11Use `associated_item_def_ids` moreMatthew Jasper-2/+2
2021-11-07Rename functions reflect that inline const is also "typeck_child"Gary Guo-4/+5
2021-11-07Implement type inference for inline constsGary Guo-6/+17
2021-10-03Remove re-export.Camille GILLOT-1/+1
2021-09-28More tracing instrumentationOli Scherer-0/+2
2021-09-15Auto merge of #88558 - fee1-dead:const-drop, r=oli-obkbors-4/+4
2021-09-09Rename `(un)signed` to `(un)signed_int`Andreas Liljeqvist-5/+6
2021-09-09Move `unsigned_max` etc into `Size` againAndreas Liljeqvist-17/+5
2021-09-09Remove the queriesDeadbeef-29/+0
2021-09-09Const droppingDeadbeef-4/+33