about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2025-05-06Auto merge of #131160 - ismailarilik:handle-potential-query-instability-lint-...bors-24/+19
2025-05-05Rollup merge of #140559 - rperier:type-ir-to-type-middle, r=compiler-errorsGuillaume Gomez-1/+9
2025-05-05Rollup merge of #140374 - compiler-errors:global_asm-bug, r=lcnrGuillaume Gomez-5/+13
2025-05-05Handle rustc_middle cases of rustc::potential_query_instability lintismailarilik-24/+19
2025-05-05Rename Instance::new to Instance::new_raw and add a note that it is rawMichael Goulet-5/+13
2025-05-05Auto merge of #140453 - Zoxc:next-disambiguator, r=oli-obkbors-9/+12
2025-05-05Auto merge of #134767 - Bryanskiy:dylibs-3, r=petrochenkovbors-4/+14
2025-05-04Rollup merge of #140630 - azhogin:azhogin/async-drop-proxy-source-info-fix, r...Trevor Gross-1/+5
2025-05-04Initial support for dynamically linked cratesBryanskiy-4/+14
2025-05-04Async drop source info fix for proxy-drop-coroutine - fixes crash at debug in...Andrew Zhogin-1/+5
2025-05-03Correct warning message in restricted visibilityyuk1ty-1/+4
2025-05-02borrowck nested items in dead codelcnr-4/+6
2025-05-02Split `get_opt_name` hashing use into `hashed_symbol`John Kåre Alsaker-4/+0
2025-05-02Rename parameter to `override_def_path_data`John Kåre Alsaker-4/+5
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