summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/sty.rs
AgeCommit message (Expand)AuthorLines
2024-06-06Uplift TypeRelation and RelateMichael Goulet-37/+82
2024-06-05Fully implement `ConstArgHasType`Boxy-0/+22
2024-06-01Uplift TypeRelation and RelateMichael Goulet-680/+51
2024-05-29Optimize async drop glue for some old typesDaria Sukhonina-24/+24
2024-05-29Start implementing needs_async_drop and relatedDaria Sukhonina-17/+9
2024-05-26Uplift EarlyBinderMichael Goulet-0/+17
2024-05-26Give EarlyBinder a tcx parameterMichael Goulet-1/+1
2024-05-22Rollup merge of #125259 - compiler-errors:fn-mut-as-a-treat, r=oli-obkLeón Orell Valerian Liehr-0/+39
2024-05-21Uplift binderMichael Goulet-246/+11
2024-05-20Rework var resolution in InferCtxtLike, uplift EagerResolverMichael Goulet-0/+8
2024-05-19Auto merge of #125230 - compiler-errors:uplift-query-stuff, r=lcnrbors-0/+10
2024-05-18Uplift GenericArgKind, CanonicalVarValues, QueryInputMichael Goulet-0/+10
2024-05-18An async closure may implement FnMut/Fn if it has no self-borrowsMichael Goulet-0/+39
2024-05-17Rename Unsafe to SafetySantiago Pastorino-12/+7
2024-05-16Uplift FnSigMichael Goulet-52/+21
2024-05-13Remove to_termMichael Goulet-4/+0
2024-05-13Uplift AliasTyMichael Goulet-372/+16
2024-05-13Apply nitsMichael Goulet-20/+23
2024-05-13split out AliasTy -> AliasTermMichael Goulet-30/+201
2024-05-11Uplift `ExistentialTraitRef`, `ExistentialProjection`, `ProjectionPredicate`Michael Goulet-0/+30
2024-05-10Lift `TraitRef` into `rustc_type_ir`Michael Goulet-2/+2
2024-05-09Make builtin_deref just return a TyMichael Goulet-7/+5
2024-05-02Inline & delete `Ty::new_unit`, since it's just a field accessWaffle Lapkin-5/+0
2024-04-29Remove `extern crate rustc_macros` from `rustc_middle`.Nicholas Nethercote-1/+1
2024-04-23Auto merge of #121801 - zetanumbers:async_drop_glue, r=oli-obkbors-0/+128
2024-04-19Stop taking ParamTy/ParamConst/EarlyParamRegion/AliasTy by refMichael Goulet-1/+1
2024-04-18Simplify `static_assert_size`s.Nicholas Nethercote-1/+1
2024-04-17Use non-exhaustive matches for TyKindDaria Sukhonina-31/+12
2024-04-16Add simple async drop glue generationzetanumbers-0/+147
2024-04-12Don't do coroutine-closure-specific upvar analysis if tainted by errorsMichael Goulet-1/+1
2024-04-08Don't rely on upvars being assigned just because coroutine-closure kind is as...Michael Goulet-1/+1
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+12
2024-04-04Auto merge of #123440 - jhpratt:rollup-yat6crk, r=jhprattbors-1/+1
2024-04-03Rollup merge of #123401 - Zalathar:assert-size-aarch64, r=fmeaseJacob Pratt-1/+1
2024-04-04Auto merge of #123240 - compiler-errors:assert-args-compat, r=fmeasebors-22/+4
2024-04-03Rollup merge of #123419 - petrochenkov:zeroindex, r=compiler-errorsMatthias Krüger-1/+1
2024-04-03rustc_index: Add a `ZERO` constant to index typesVadim Petrochenkov-1/+1
2024-04-03Simplify some cfgingMichael Goulet-12/+4
2024-04-03Uplift and start using check_args_compatible more liberallyMichael Goulet-22/+12
2024-04-03Check `x86_64` size assertions on `aarch64`, tooZalathar-1/+1
2024-04-02Assert FnDef only constructed with functions (or fn-like ctors)Michael Goulet-1/+5
2024-03-29Assert that ADTs have the right number of substsMichael Goulet-0/+7
2024-03-27Remove `Ord` from `BoundTy`Oli Scherer-3/+3
2024-03-27Remove `Ord` from `Binder`Oli Scherer-1/+1
2024-03-27Remove `Ord` from `Ty`, `Const`, and `Region`Oli Scherer-3/+3
2024-03-24Relax validation nowMichael Goulet-2/+0
2024-03-24Require coroutine kind type to be passed to TyCtxt::coroutine_layoutMichael Goulet-2/+5
2024-03-22Make RawPtr take Ty and Mutbl separatelyMichael Goulet-6/+2
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-6/+6
2024-03-22Ty::new_ref and Ty::new_ptr stop using TypeAndMutMichael Goulet-8/+13