about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/mod.rs
AgeCommit message (Expand)AuthorLines
2024-07-18Avoid unnecessary sorting of traitsMichael Goulet-3/+2
2024-07-16Setup ty::Const functions for `ConstArg`Noah Lev-1/+1
2024-07-11Auto merge of #127575 - chenyukang:yukang-fix-struct-fields-ice, r=compiler-e...bors-19/+38
2024-07-11report pat no field error no recoverd struct variantyukang-19/+38
2024-07-09Auto merge of #127200 - fee1-dead-contrib:trait_def_const_trait, r=compiler-e...bors-1/+6
2024-07-07Uplift elaborationMichael Goulet-0/+1
2024-07-03Add `constness` to `TraitDef`Deadbeef-1/+6
2024-06-28implement new effects desugaringDeadbeef-1/+11
2024-06-18Uplift the new trait solverMichael Goulet-0/+10
2024-06-17Rollup merge of #126567 - compiler-errors:instance-kind, r=oli-obk,lcnrMatthias Krüger-17/+17
2024-06-16Rename InstanceDef -> InstanceKindMichael Goulet-17/+17
2024-06-16Uplift OpaqueTypeKey too, use it in responseMichael Goulet-39/+1
2024-06-15Rollup merge of #126354 - compiler-errors:variance, r=lcnrMatthias Krüger-1/+0
2024-06-13Rework most of structural_traits to be Interner-agnosticMichael Goulet-0/+2
2024-06-12Use Variance glob import everywhereMichael Goulet-1/+0
2024-06-11Remove DebugWithInfcxMichael Goulet-1/+0
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