about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2025-05-02Use less rustc_type_ir in the compiler codebaseRomain Perier-1/+9
2025-05-01Set groundwork for proper const normalizationBoxy-4/+15
2025-05-01Auto merge of #140145 - Zoxc:job-server-proxy, r=SparrowLiibors-0/+6
2025-04-30Rollup merge of #140516 - rperier:type-ir-to-type-middle, r=lcnrMatthias Krüger-0/+1
2025-04-30Use less rustc_type_ir in the compiler codebaseRomain Perier-0/+1
2025-04-29canonical no type foldable :<lcnr-2/+2
2025-04-29Rollup merge of #139909 - oli-obk:or-patterns, r=BoxyUwUTrevor Gross-1/+61
2025-04-29Remove global `next_disambiguator` state and handle it with a `DisambiguatorS...John Kåre Alsaker-9/+15
2025-04-29Add some commentsJohn Kåre Alsaker-0/+1
2025-04-29Add a jobserver proxy to ensure at least one token is always heldJohn Kåre Alsaker-0/+5
2025-04-28Rollup merge of #140022 - dianne:box-deref-pats, r=NadrierilChris Denton-0/+15
2025-04-28Auto merge of #140388 - GuillaumeGomez:rollup-aj9o3ch, r=GuillaumeGomezbors-31/+31
2025-04-28Rollup merge of #140249 - BoxyUwU:remove_weak_alias_terminology, r=oli-obkGuillaume Gomez-31/+31
2025-04-28AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}...Andrew Zhogin-225/+214
2025-04-28Add or-patterns to pattern typesOli Scherer-0/+59
2025-04-28Split out various pattern type matches into their own functionOli Scherer-1/+2
2025-04-26Rollup merge of #140320 - lcnr:wf-use-term, r=compiler-errorsMatthias Krüger-5/+29
2025-04-26convert some `GenericArg` to `Term`lcnr-5/+29
2025-04-25handle specialization in the new trait solverlcnr-0/+4
2025-04-24lower deref patterns on boxes using built-in derefsdianne-0/+15
2025-04-24norm nested aliases before evaluating the parent goallcnr-4/+4
2025-04-24Remove `weak` alias terminologyBoxy-31/+31
2025-04-23Auto merge of #138845 - compiler-errors:stall-generators, r=lcnrbors-4/+19
2025-04-23MoreMichael Goulet-5/+12
2025-04-22Don't compute query unless in new solverMichael Goulet-1/+5
2025-04-22Properly drain pending obligations for coroutinesMichael Goulet-2/+6
2025-04-22Use `is_lang_item` and `as_lang_item` instead of handrolling their logicOli Scherer-3/+1
2025-04-21Rollup merge of #140052 - GuillaumeGomez:fix-140026, r=nnethercoteChris Denton-0/+2
2025-04-19Update docs for `AssocItems::filter_by_name_unhygienic`Guillaume Gomez-0/+2
2025-04-18Re-remove `AdtFlags::IS_ANONYMOUS`Sky-2/+0
2025-04-18Rollup merge of #138528 - dianne:implicit-deref-patterns, r=NadrierilMatthias Krüger-6/+47
2025-04-17Rollup merge of #139770 - nnethercote:rename-LifetimeName, r=BoxyUwUMatthias Krüger-2/+2
2025-04-16lower implicit deref patterns to THIRdianne-3/+12
2025-04-16Auto merge of #139768 - compiler-errors:split-fold, r=lcnrbors-67/+210
2025-04-16Rename `LifetimeName` as `LifetimeKind`.Nicholas Nethercote-2/+2
2025-04-15Split TypeFolder and FallibleTypeFolderMichael Goulet-67/+210
2025-04-15Auto merge of #139845 - Zalathar:rollup-u5u5y1v, r=Zalatharbors-86/+117
2025-04-15Rollup merge of #139772 - nnethercote:rm-hir-Map, r=ZalatharStuart Cook-15/+3
2025-04-15Rollup merge of #139669 - nnethercote:overhaul-AssocItem, r=oli-obkStuart Cook-71/+114
2025-04-15Auto merge of #139826 - matthiaskrgr:rollup-0q0qvkd, r=matthiaskrgrbors-10/+4
2025-04-15Move `name` field from `AssocItem` to `AssocKind` variants.Nicholas Nethercote-40/+72
2025-04-15Move two methods from `AssocKind` to `AssocItem`.Nicholas Nethercote-18/+15
2025-04-15Move `opt_rpitit_info` field to `hir::AssocKind::Type`.Nicholas Nethercote-18/+26
2025-04-14Auto merge of #139577 - davidtwco:sizedness-go-vroom, r=oli-obkbors-7/+7
2025-04-14Use `newtype_index!`-generated types more idiomaticallyYotam Ofek-10/+4
2025-04-14Auto merge of #139241 - bvanjoi:less-decoding, r=petrochenkovbors-1/+1
2025-04-14Move `has_self` field to `hir::AssocKind::Fn`.Nicholas Nethercote-34/+40
2025-04-13Rollup merge of #139722 - jackh726:patternkind-walk-toir, r=compiler-errorsJacob Pratt-595/+93
2025-04-14Remove unused `Map` field from `TraitObjectVisitor`.Nicholas Nethercote-3/+3
2025-04-14Remove unused `StaticLifetimeVisitor`.Nicholas Nethercote-12/+0