summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2025-01-23add cache to `AmbiguityCausesVisitor`lcnr-2/+12
2025-01-23avoid running the overlap check twicelcnr-22/+33
2025-01-02Remove unused fields from RepeatElementCopy obligationTaylor Cramer-6/+1
2025-01-01Rollup merge of #133292 - dianne:e0277-suggest-deref, r=estebankStuart Cook-113/+85
2024-12-31Rollup merge of #134949 - compiler-errors:froms, r=jieyouxuStuart Cook-6/+6
2024-12-31Convert some Into impls into From implsMichael Goulet-6/+6
2024-12-31Make sure we check the future type is Sized in AsyncFn*Michael Goulet-3/+20
2024-12-27Rollup merge of #134827 - compiler-errors:borrowck-nits, r=lqdDavid Tolnay-2/+1
2024-12-27Rollup merge of #134823 - chloefeal:fix, r=tgross35,dtolnayDavid Tolnay-1/+1
2024-12-27Fix typoschloefeal-1/+1
2024-12-26Make ty::Error implement auto traitsMichael Goulet-1/+3
2024-12-26nit: Remove redundant functionMichael Goulet-2/+1
2024-12-24Auto merge of #134716 - Zalathar:rollup-1h4q8cc, r=Zalatharbors-28/+137
2024-12-24Rollup merge of #134638 - compiler-errors:fx-item-bounds, r=lcnrStuart Cook-28/+137
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-3/+33
2024-12-22Rollup merge of #134639 - compiler-errors:negative-ambiguity-causes, r=oli-obkMatthias Krüger-9/+13
2024-12-22Make sure we note ambiguity causes on positive/negative impl conflictsMichael Goulet-9/+13
2024-12-22Fix item bounds in old solverMichael Goulet-28/+137
2024-12-21Auto merge of #134501 - lcnr:member-constraints-yeet, r=oli-obkbors-15/+5
2024-12-20Reduce the amount of explicit FatalError.raise()bjorn3-5/+2
2024-12-20remove non-borrowck member constraintslcnr-15/+5
2024-12-19Auto merge of #133961 - lcnr:borrowck-cleanup, r=jackh726bors-17/+17
2024-12-18chore: fix some typosacceptacross-1/+1
2024-12-18introduce `LateParamRegionKind`lcnr-17/+17
2024-12-18Auto merge of #134243 - nnethercote:re-export-more-rustc_span, r=jieyouxubors-23/+15
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-23/+15
2024-12-17Rollup merge of #133265 - the8472:extract-if-ranges, r=cuviperMatthias Krüger-1/+1
2024-12-17Auto merge of #134381 - jdonszelmann:move-attribute-types, r=oli-obkbors-1/+1
2024-12-17Auto merge of #134414 - jhpratt:rollup-4gtfd1h, r=jhprattbors-130/+101
2024-12-17Rollup merge of #134412 - lcnr:borrowck-cleanup-trivial, r=jackh726Jacob Pratt-110/+75
2024-12-17Rollup merge of #134354 - oli-obk:push-nlrxswvpqnuk, r=compiler-errorsJacob Pratt-20/+26
2024-12-17small refactor to region error handlinglcnr-110/+75
2024-12-17consistently handle global where-boundslcnr-305/+242
2024-12-16update uses of extract_if in the compilerThe 8472-1/+1
2024-12-16rename rustc_attr to rustc_attr_parsing and create rustc_attr_data_structuresJonathan Dönszelmann-1/+1
2024-12-16Avoid wrapping fn sig in a fn pointer when we want to just print the sigOli Scherer-13/+13
2024-12-16Deduplicate some pretty printing logicOli Scherer-20/+15
2024-12-16Avoid wrapping a trivially defaultable type in `Option`Oli Scherer-16/+11
2024-12-16Properly name a def id variableOli Scherer-4/+4
2024-12-16Avoid creating a fn sig type just to unwrap it again to get at its signatureOli Scherer-14/+18
2024-12-16Handle fndef rendering together with signature renderingOli Scherer-20/+26
2024-12-15Add hir::AttributeJonathan Dönszelmann-3/+4
2024-12-15Rename `value` field to `expr` to simplify later commits' diffsOli Scherer-1/+1
2024-12-15Rollup merge of #134285 - oli-obk:push-vwrqsqlwnuxo, r=UrgauStuart Cook-1/+1
2024-12-14Rollup merge of #132939 - uellenberg:suggest-deref, r=oli-obkMatthias Krüger-30/+98
2024-12-14Add some convenience helper methods on `hir::Safety`Oli Scherer-1/+1
2024-12-14(Re-)Implement impl_trait_in_bindingsMichael Goulet-0/+6
2024-12-14Split UserTypeAnnotation to have a kindMichael Goulet-4/+4
2024-12-13Suggest using deref in patternsuellenberg-30/+98
2024-12-13Auto merge of #134122 - oli-obk:push-zqnyznxtpnll, r=petrochenkovbors-1/+3