about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/util.rs
AgeCommit message (Expand)AuthorLines
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
2021-08-25Use if-let guards in the codebaseLéo Lanteri Thauvin-6/+4
2021-08-22Fix more “a”/“an” typosFrank Steffahn-1/+1
2021-07-28Bail on any found recursion when expanding opaque typesHans Kratz-1/+5
2021-07-05Auto merge of #86674 - Aaron1011:new-querify-limits, r=michaelwoeristerbors-1/+2
2021-07-04Combine individual limit queries into single `limits` queryAaron Hill-1/+1
2021-07-04Auto merge of #86866 - nikomatsakis:issue-84841, r=oli-obkbors-0/+9
2021-07-04Query-ify global limit attribute handlingAaron Hill-1/+2
2021-07-04tag issues with FIXMENiko Matsakis-1/+1
2021-07-04be conservative in has_significant_dropNiko Matsakis-0/+9
2021-07-03Use `BoundVarsCollector` for nowYuki Okushi-1/+5
2021-05-14add new attribute rustc_insignificant_dtor and a query to check if a type has...Dhruv Jauhar-0/+33
2021-04-27move `representability` out of `rustc_middle`lcnr-189/+2
2021-03-31Cleanups and commentsJack Huey-1/+0
2021-03-31Add var to BoundRegion. Add query to get bound vars for applicable items.Jack Huey-4/+4
2021-03-31Track bound varsJack Huey-1/+1
2021-03-31Add tcx lifetime to BinderJack Huey-1/+1
2021-03-29Remove a FIXME resolved by #73578JohnTitor-1/+0
2021-03-26Use iter::zip in compiler/Josh Stone-4/+2
2021-03-21Don't consider !Unpin references as noaliasNikita Popov-0/+40
2021-01-18Use `rustc_type_ir::{IntTy,UintTy,FloatTy} instead of the `rustc_ast` ones in...LeSeulArtichaut-7/+7
2020-12-18Make BoundRegion have a kind of BoungRegionKindJack Huey-1/+2
2020-12-04check the recursion limit when finding struct tailSNCPlay42-2/+8
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-14 00:35:23 +0000