about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select
AgeCommit message (Expand)AuthorLines
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
2025-03-13Only prefer Sized candidates, and only if they certainly holdMichael Goulet-21/+17
2025-03-13Prefer built-in sized impls for rigid types alwaysMichael Goulet-5/+37
2025-03-13Auto merge of #138249 - compiler-errors:auto-self, r=lcnrbors-15/+1
2025-03-10Remove AdtFlags::IS_ANONYMOUS and Copy/Clone condition for anonymous ADTMichael Goulet-9/+0
2025-03-09Rollup merge of #136968 - oli-obk:bye-bye, r=compiler-errorsMatthias Krüger-11/+3
2025-03-09Do not register `Self: AutoTrait` when confirming auto traitMichael Goulet-15/+1
2025-03-06Rollup merge of #137910 - compiler-errors:async-fn-goal-error, r=oli-obkMichael Goulet-1/+3
2025-03-05Rollup merge of #137728 - Darksonn:no-tuple-unsize, r=oli-obk许杰友 Jieyou Xu (Joe)-36/+0
2025-03-04mgca: Lower all const paths as `ConstArgKind::Path`Noah Lev-1/+1
2025-03-03Improve error message for AsyncFn trait failure for RPITMichael Goulet-1/+3
2025-03-01Rollup merge of #137800 - BoxyUwU:param_env_docs, r=compiler-errorsMatthias Krüger-1/+1
2025-03-01Rollup merge of #137776 - nnethercote:rustc_transmute-cleanups, r=jswrennMatthias Krüger-9/+4
2025-03-01Rollup merge of #137689 - compiler-errors:coroutine, r=lcnrMatthias Krüger-58/+21
2025-02-28reviewlcnr-3/+9
2025-02-28Remove `allow(unused_variables)` for `rustc_transmute`.Nicholas Nethercote-8/+3
2025-02-28Remove `rustc_transmute`'s dependence on `rustc_infer`.Nicholas Nethercote-1/+1
2025-02-27Delete tuple unsizingAlice Ryhl-36/+0
2025-02-26Remove `ParamEnv::without_caller_bounds`Boxy-1/+1
2025-02-26Use bound_coroutine_witnesses in old solverMichael Goulet-58/+21
2025-02-24Remove dyn_compatible_for_dispatchMichael Goulet-7/+1
2025-02-20Turn order dependent trait objects future incompat warning into a hard errorOli Scherer-11/+3
2025-02-13Implement and use BikeshedGuaranteedNoDrop for union/unsafe field validityMichael Goulet-1/+143
2025-02-10Check whole Unsize predicate for escaping bound varsMichael Goulet-2/+3
2025-02-08Rustfmtbjorn3-39/+54
2025-02-06stabilize `feature(trait_upcasting)`Waffle Lapkin-62/+1