summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select
AgeCommit message (Expand)AuthorLines
2025-06-16trait_sel: skip elaboration of sizedness supertraitDavid Wood-5/+28
2025-06-16trait_sel: `{Meta,Pointee}Sized` on `?Sized` typesDavid Wood-19/+39
2025-06-16trait_sel: `{Meta,Pointee}Sized` on `Sized` typesDavid Wood-0/+8
2025-06-13Rollup merge of #141352 - lcnr:no-builtin-preference, r=compiler-errorsJubilee-1/+12
2025-06-09transmutability: shift abstraction boundaryJack Wrenn-97/+46
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-13/+15
2025-06-03Add `iter` macroOli Scherer-3/+19
2025-06-03builtin dyn impl no guide inferencelcnr-1/+12
2025-05-27Rename unpack to kindMichael Goulet-1/+1
2025-05-22Auto merge of #141396 - matthiaskrgr:rollup-feg050g, r=matthiaskrgrbors-1/+1
2025-05-22Rollup merge of #141286 - compiler-errors:querify-coroutine, r=oli-obkMatthias Krüger-1/+1
2025-05-22Don't allow poly_select in new solverMichael Goulet-3/+5
2025-05-21Auto merge of #140386 - oli-obk:match-on-lang-item-kind, r=compiler-errorsbors-85/+91
2025-05-20Querify coroutine_hidden_typesMichael Goulet-1/+1
2025-05-17Rollup merge of #140208 - compiler-errors:wf-coinductive, r=lcnrMatthias Krüger-1/+6
2025-05-16Auto merge of #140978 - davidtwco:deep-reject-in-match-norm-trait-ref, r=lcnrbors-2/+8
2025-05-13trait_sel: deep reject `match_normalize_trait_ref`David Wood-2/+8
2025-05-08normalization: avoid incompletely constraining GAT argslcnr-3/+4
2025-05-01Set groundwork for proper const normalizationBoxy-1/+0
2025-04-30Use less rustc_type_ir in the compiler codebaseRomain Perier-6/+3
2025-04-29Also match on the lang item in confirmationOli Scherer-10/+5
2025-04-29Always check the lang item firstOli Scherer-16/+8
2025-04-29Replace if/elseif chain with matchOli Scherer-62/+81
2025-04-29Adjust testsMichael Goulet-1/+3
2025-04-29Wf is not coinductiveMichael Goulet-1/+4
2025-04-28Auto merge of #140388 - GuillaumeGomez:rollup-aj9o3ch, r=GuillaumeGomezbors-2/+2
2025-04-28Rollup merge of #140249 - BoxyUwU:remove_weak_alias_terminology, r=oli-obkGuillaume Gomez-2/+2
2025-04-28AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}...Andrew Zhogin-3/+0
2025-04-26convert some `GenericArg` to `Term`lcnr-10/+10
2025-04-24Remove `weak` alias terminologyBoxy-2/+2
2025-04-24Rollup merge of #140214 - compiler-errors:remove-hack, r=lcnrMatthias Krüger-2/+0
2025-04-23Remove hackMichael Goulet-2/+0
2025-04-23MoreMichael Goulet-1/+3
2025-04-22Properly drain pending obligations for coroutinesMichael Goulet-1/+1
2025-04-15Rollup merge of #139669 - nnethercote:overhaul-AssocItem, r=oli-obkStuart Cook-3/+1
2025-04-15Move `opt_rpitit_info` field to `hir::AssocKind::Type`.Nicholas Nethercote-3/+1
2025-04-09re-use sized fast pathDavid Wood-1/+7
2025-04-08Rollup merge of #139541 - compiler-errors:transmute, r=lcnrMatthias Krüger-3/+3
2025-04-08Instantiate higher-ranked transmute goalMichael Goulet-3/+3
2025-04-05Fix trait upcasting to dyn type with no principal when there are projectionsMichael Goulet-14/+24
2025-04-04Auto merge of #138785 - lcnr:typing-mode-borrowck, r=compiler-errors,oli-obkbors-1/+3
2025-04-03Initial support for auto traits with default boundsBryanskiy-15/+29
2025-04-03add `TypingMode::Borrowck`lcnr-1/+3
2025-03-31increment depth of nested obligationslcnr-10/+2
2025-03-31Rollup merge of #138176 - compiler-errors:rigid-sized-obl, r=lcnrMatthias Krüger-15/+43
2025-03-27Auto merge of #139012 - Zalathar:rollup-qgt5yfo, r=Zalatharbors-2/+4
2025-03-26Stop using Interner in the compiler randomlyMichael Goulet-2/+4
2025-03-24Instantiate binder before registering nested obligations for auto/built-in tr...Michael Goulet-32/+16
2025-03-18Remove existing AFIDT implementationMichael Goulet-6/+0
2025-03-16Suppress must_use in compiler and toolsMichael Goulet-1/+1