about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2025-04-14Auto merge of #139577 - davidtwco:sizedness-go-vroom, r=oli-obkbors-15/+35
2025-04-11`NonGenericOpaqueTypeParam::ty` to `arg`lcnr-2/+2
2025-04-11Rollup merge of #139564 - compiler-errors:deeply-norm, r=lcnrStuart Cook-48/+55
2025-04-11Rollup merge of #138998 - rperier:donot_suggest_to_use_impl_trait_in_closure_...Stuart Cook-6/+17
2025-04-10Deeply normalize obligations in BestObligationMichael Goulet-18/+33
2025-04-10SimplifyMichael Goulet-30/+22
2025-04-10Rollup merge of #139510 - nnethercote:name-to-ident, r=fee1-deadMatthias Krüger-2/+2
2025-04-10Auto merge of #139000 - compiler-errors:rigid-missing-item, r=lcnrbors-45/+45
2025-04-10Rename some `name` variables as `ident`.Nicholas Nethercote-2/+2
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-09Report higher-ranked trait error when higher-ranked projection goal fails in ...Michael Goulet-3/+33
2025-04-09re-use sized fast pathDavid Wood-15/+35
2025-04-09Suggest the use of `impl Trait` in function parameter onlyRomain Perier-6/+17
2025-04-09Auto merge of #139552 - matthiaskrgr:rollup-b194mk8, r=matthiaskrgrbors-30/+56
2025-04-08Rollup merge of #139541 - compiler-errors:transmute, r=lcnrMatthias Krüger-3/+3
2025-04-08Rollup merge of #139515 - compiler-errors:sig-mismatch, r=lcnrMatthias Krüger-27/+53
2025-04-08Instantiate higher-ranked transmute goalMichael Goulet-3/+3
2025-04-08Rollup merge of #139509 - xizheyin:issue-139359, r=lcnrMatthias Krüger-15/+15
2025-04-08Remove unnecessary dyn Display in favor of strMichael Goulet-4/+4
2025-04-08Improve presentation of closure signature mismatch from Fn trait goalMichael Goulet-25/+51
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-15/+15
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-2/+203
2025-04-04Rollup merge of #139335 - compiler-errors:error-implies, r=oli-obkMatthias Krüger-28/+32
2025-04-04Auto merge of #120706 - Bryanskiy:leak, r=lcnrbors-15/+29
2025-04-03Pass correct param-env to error_impliesMichael Goulet-28/+32
2025-04-03Initial support for auto traits with default boundsBryanskiy-15/+29
2025-04-03add `TypingMode::Borrowck`lcnr-6/+30
2025-04-03move `check_opaque_type_parameter_valid`lcnr-1/+178
2025-04-02Rollup merge of #139232 - nnethercote:remove-Map-5, r=ZalatharTakayuki Maeda-15/+13
2025-04-02Auto merge of #139018 - oli-obk:incremental-trait-impls, r=compiler-errorsbors-2/+2
2025-04-02Remove a `hir_*` helper that was just forwarding to a queryOli Scherer-1/+1
2025-04-02Fetch the destructor constness lazilyOli Scherer-1/+1
2025-04-02Rollup merge of #139191 - lcnr:interner-opaques, r=compiler-errorsStuart Cook-18/+9
2025-04-02Rollup merge of #138941 - compiler-errors:receiver-is-dispatchable-bounds, r=...Stuart Cook-13/+22
2025-04-02Move methods from `Map` to `TyCtxt`, part 5.Nicholas Nethercote-15/+13
2025-04-01simplify Interner opaque types APIlcnr-18/+9
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-28Don't use `kw::Empty` in `hir::Lifetime::ident`.Nicholas Nethercote-8/+11
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-8/+8
2025-03-20Rollup merge of #138685 - nnethercote:use-Option-Ident-for-lowered-param-name...Matthias Krüger-5/+4
2025-03-19Rollup merge of #138594 - oli-obk:no-select, r=lcnrMatthias Krüger-12/+18
2025-03-19Fix next solver handling of shallow trait impl checkOli Scherer-12/+18
2025-03-19Use `Option<Ident>` for lowered param names.Nicholas Nethercote-5/+4