about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2025-04-23Auto merge of #138845 - compiler-errors:stall-generators, r=lcnrbors-2/+4
2025-04-23Remove hackMichael Goulet-2/+0
2025-04-23Use the new solver in the impossible_predicatesMichael Goulet-9/+5
2025-04-23MoreMichael Goulet-1/+3
2025-04-23Module docsBoxy-0/+5
2025-04-23Rename `compute_x` methodsBoxy-31/+43
2025-04-22Properly drain pending obligations for coroutinesMichael Goulet-2/+2
2025-04-22Use `is_lang_item` and `as_lang_item` instead of handrolling their logicOli Scherer-118/+122
2025-04-19Don't ICE on pending obligations from deep normalization in a loopMichael Goulet-1/+9
2025-04-15Auto merge of #139845 - Zalathar:rollup-u5u5y1v, r=Zalatharbors-34/+33
2025-04-15Rollup merge of #139669 - nnethercote:overhaul-AssocItem, r=oli-obkStuart Cook-34/+33
2025-04-15Auto merge of #139826 - matthiaskrgr:rollup-0q0qvkd, r=matthiaskrgrbors-19/+8
2025-04-15Move `name` field from `AssocItem` to `AssocKind` variants.Nicholas Nethercote-24/+27
2025-04-15Move `opt_rpitit_info` field to `hir::AssocKind::Type`.Nicholas Nethercote-5/+3
2025-04-14Auto merge of #139577 - davidtwco:sizedness-go-vroom, r=oli-obkbors-15/+35
2025-04-14Use `newtype_index!`-generated types more idiomaticallyYotam Ofek-19/+8
2025-04-14Move `has_self` field to `hir::AssocKind::Fn`.Nicholas Nethercote-6/+4
2025-04-09Use a query rather than recomputing the tail repeatedlyMichael Goulet-15/+1
2025-04-09Rigidly project missing item due to guaranteed impossible sized predicateMichael Goulet-45/+59
2025-04-09re-use sized fast pathDavid Wood-15/+35
2025-04-09Auto merge of #139552 - matthiaskrgr:rollup-b194mk8, r=matthiaskrgrbors-3/+3
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-08Rollup merge of #139509 - xizheyin:issue-139359, r=lcnrMatthias Krüger-7/+7
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-7/+7
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/+7
2025-04-04Auto merge of #120706 - Bryanskiy:leak, r=lcnrbors-15/+29
2025-04-03Initial support for auto traits with default boundsBryanskiy-15/+29
2025-04-03add `TypingMode::Borrowck`lcnr-1/+7
2025-04-02Auto merge of #139018 - oli-obk:incremental-trait-impls, r=compiler-errorsbors-1/+1
2025-04-02Fetch the destructor constness lazilyOli Scherer-1/+1
2025-04-02Rollup merge of #138941 - compiler-errors:receiver-is-dispatchable-bounds, r=...Stuart Cook-13/+22
2025-03-31increment depth of nested obligationslcnr-38/+38
2025-03-31Rollup merge of #138176 - compiler-errors:rigid-sized-obl, r=lcnrMatthias Krüger-15/+43
2025-03-30Do not mix normalized and unnormalized caller bounds when constructing param-...Michael Goulet-13/+22
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-23Obligation::as_goalMichael Goulet-1/+1
2025-03-18Remove existing AFIDT implementationMichael Goulet-89/+3
2025-03-16Suppress must_use in compiler and toolsMichael Goulet-2/+2
2025-03-15Fold visit into tyMichael Goulet-8/+9
2025-03-15Squash fold into tyMichael Goulet-10/+7
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-12Rollup merge of #138174 - compiler-errors:elaborate-unsize-self-pred, r=BoxyUwUMatthias Krüger-7/+12
2025-03-11Elaborate param-env built for checking DispatchFromDyn for dyn compatMichael Goulet-7/+12
2025-03-10Remove AdtFlags::IS_ANONYMOUS and Copy/Clone condition for anonymous ADTMichael Goulet-9/+0