summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/mod.rs
AgeCommit message (Expand)AuthorLines
2024-06-06Uplift TypeRelation and RelateMichael Goulet-2/+2
2024-06-06Uplift TypeErrorMichael Goulet-32/+0
2024-06-05Fully implement `ConstArgHasType`Boxy-0/+24
2024-06-05Basic removal of `Ty` from places (boring)Boxy-2/+2
2024-06-04Rollup merge of #125968 - BoxyUwU:shrink_ty_expr, r=oli-obkMichael Goulet-1/+1
2024-06-04Downsize `ty::Expr`Boxy-1/+1
2024-06-03Align Term methods with GenericArg methodsMichael Goulet-2/+10
2024-06-01Uplift TypeRelation and RelateMichael Goulet-4/+2
2024-05-29Start implementing needs_async_drop and relatedDaria Sukhonina-0/+9
2024-05-26Uplift EarlyBinderMichael Goulet-3/+3
2024-05-26Give EarlyBinder a tcx parameterMichael Goulet-1/+1
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_middle`.Nicholas Nethercote-0/+1
2024-05-22Auto merge of #125326 - weiznich:move/do_not_recommend_to_diganostic_namespac...bors-0/+5
2024-05-21Move `#[do_not_recommend]` to the `#[diagnostic]` namespaceGeorg Semmler-0/+5
2024-05-20Uplift TermKindMichael Goulet-11/+20
2024-05-19make `Debug` impl for `Term` simplerWaffle Lapkin-8/+4
2024-05-19Auto merge of #125230 - compiler-errors:uplift-query-stuff, r=lcnrbors-8/+7
2024-05-18Uplift GenericArgKind, CanonicalVarValues, QueryInputMichael Goulet-8/+7
2024-05-18Auto merge of #125077 - spastorino:add-new-fnsafety-enum2, r=jackh726bors-1/+1
2024-05-17Rename Unsafe to SafetySantiago Pastorino-1/+1
2024-05-16Uplift Goal to rustc_type_irMichael Goulet-6/+7
2024-05-16Rename ToPredicate for UpcastMichael Goulet-1/+1
2024-05-13Uplift AliasTyMichael Goulet-8/+8
2024-05-13Apply nitsMichael Goulet-1/+0
2024-05-13split out AliasTy -> AliasTermMichael Goulet-8/+8
2024-05-11And `ImplPolarity` tooMichael Goulet-24/+0
2024-05-11Apply nits, uplift ExistentialPredicate tooMichael Goulet-7/+7
2024-05-11Uplift `TraitPredicate`Michael Goulet-31/+0
2024-05-10Lift `TraitRef` into `rustc_type_ir`Michael Goulet-4/+4
2024-04-30Give items related to issue 33140 a more meaningful nameLeón Orell Valerian Liehr-22/+21
2024-04-29Remove `extern crate bitflags` from a couple of crates.Nicholas Nethercote-1/+1
2024-04-29Remove `extern crate rustc_data_structures` from numerous crates.Nicholas Nethercote-1/+1
2024-04-29Remove `extern crate rustc_macros` from `rustc_middle`.Nicholas Nethercote-1/+3
2024-04-25debuginfo: Stabilize `-Z debug-macros`, `-Z collapse-macro-debuginfo` and `#[...Vadim Petrochenkov-17/+1
2024-04-23delegation: Support async, const, extern "ABI" and C-variadic functionsVadim Petrochenkov-3/+10
2024-04-23Auto merge of #121801 - zetanumbers:async_drop_glue, r=oli-obkbors-1/+2
2024-04-18Simplify `static_assert_size`s.Nicholas Nethercote-1/+1
2024-04-16Add simple async drop glue generationzetanumbers-1/+2
2024-04-10Use a helper to zip together parent and child captures for coroutine-closuresMichael Goulet-3/+4
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+2
2024-04-04cache type info for ParamEnvLukas Markeffsky-7/+19
2024-04-04Auto merge of #123052 - maurer:addr-taken, r=compiler-errorsbors-1/+1
2024-04-03Rollup merge of #123401 - Zalathar:assert-size-aarch64, r=fmeaseJacob Pratt-1/+1
2024-04-03rustc_index: Add a `ZERO` constant to index typesVadim Petrochenkov-1/+1
2024-04-03Check `x86_64` size assertions on `aarch64`, tooZalathar-1/+1
2024-04-02Track reason for creating a `ReifyShim`Matthew Maurer-1/+1
2024-04-01Auto merge of #123327 - BoxyUwU:param_env_docs_rewrite, r=compiler-errorsbors-5/+10
2024-04-01maybeBoxy-1/+1
2024-04-01Update `ParamEnv` docsBoxy-5/+10
2024-04-01Auto merge of #122972 - beetrees:use-align-type, r=fee1-deadbors-2/+1