about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/error_reporting
AgeCommit message (Expand)AuthorLines
2025-09-30Rollup merge of #146617 - Jules-Bertholet:E0277-NOFORN, r=SparrowLiiMatthias Krüger-1/+16
2025-09-30Fix unuseful span in type error in some format_args!() invocationsTomoaki Kobayashi-8/+37
2025-09-24Improve derive suggestion of const paramtiif-4/+7
2025-09-18Rollup merge of #146664 - fmease:clean-up-dyn, r=jdonszelmannStuart Cook-15/+11
2025-09-17Remove `DynKind`León Orell Valerian Liehr-15/+11
2025-09-16fmtEsteban Küber-2/+3
2025-09-15Don’t suggest foreign `doc(hidden)` types in E0277 diagnosticsJules Bertholet-1/+16
2025-09-15Silence inference error on `PatKind::Err`Esteban Küber-2/+8
2025-09-13Auto merge of #145186 - camsteffen:assoc-impl-kind, r=petrochenkovbors-11/+9
2025-09-13Rollup merge of #146403 - cyrgani:array-sugg-sorting, r=fee1-deadJana Dönszelmann-3/+15
2025-09-12Split AssocContainer::{InherentImpl,TraitImpl}Cameron Steffen-7/+5
2025-09-12Introduce hir::ImplItemImplKindCameron Steffen-1/+1
2025-09-12Rename AssocItemContainer -> AssocContainerCameron Steffen-5/+5
2025-09-12sort array trait implementation suggestions correctlycyrgani-3/+15
2025-09-11Revert "Rollup merge of #122661 - estebank:assert-macro-span, r=petrochenkov"Jieyou Xu-36/+4
2025-09-09Auto merge of #145717 - BoxyUwU:erase_regions_rename, r=lcnrbors-9/+14
2025-09-09erase_regions to erase_and_anonymize_regionsBoxy-9/+14
2025-09-09Rollup merge of #145819 - jdonszelmann:convert-limits, r=fmeaseStuart Cook-2/+2
2025-09-08fixup limit handling codeJana Dönszelmann-2/+2
2025-09-08reviewlcnr-1/+2
2025-09-08eagerly compute `sub_relations` againlcnr-91/+1
2025-09-06Rollup merge of #144801 - estebank:issue-144734, r=spastorinoMatthias Krüger-10/+67
2025-09-05remove couple of clonesMatthias Krüger-1/+1
2025-08-31Split `ObligationCauseCode::BinOp` for unops to `UnOp`Esteban Küber-19/+12
2025-08-30Detect negative literal inferred to unsigned integerEsteban Küber-1/+40
2025-08-26Rollup merge of #145481 - mu001999-contrib:fix/closure-sugg, r=SparrowLiiGuillaume Gomez-6/+10
2025-08-22Rollup merge of #145641 - estebank:point-at-type-in-e0277, r=davidtwcoJacob Pratt-55/+88
2025-08-22On E0277, point at type that doesn't implement boundEsteban Küber-55/+88
2025-08-22Add an experimental unsafe(force_target_feature) attribute.Luca Versari-1/+1
2025-08-20Do not use effective_visibilities query for Adt types of a local trait while ...xizheyin-1/+1
2025-08-17Auto merge of #145284 - nnethercote:type_name-print-regions, r=lcnrbors-4/+4
2025-08-16Add parentheses for closure when suggesting calling closureMu001999-6/+10
2025-08-15Rollup merge of #145235 - compiler-errors:comment, r=BoxyUwUStuart Cook-27/+1
2025-08-15Rollup merge of #122661 - estebank:assert-macro-span, r=petrochenkovStuart Cook-4/+36
2025-08-14Print regions in `type_name`.Nicholas Nethercote-4/+4
2025-08-13Rollup merge of #144949 - nnethercote:more-Printer-cleanups, r=davidtwcoGuillaume Gomez-23/+22
2025-08-12Change the desugaring of `assert!` for better error outputEsteban Küber-4/+36
2025-08-11Propagate TraitImplHeader to hirCameron Steffen-4/+4
2025-08-11Remove unnecessary UnsatisfiedConst reporting logicMichael Goulet-27/+1
2025-08-10Do not point at macro invocation when providing inference contextEsteban Küber-1/+1
2025-08-09Auto merge of #145146 - fee1-dead-contrib:push-zmqrkurlzrxy, r=nnethercotebors-1/+1
2025-08-09remove `P`Deadbeef-1/+1
2025-08-09Rollup merge of #145134 - camsteffen:indirect-assoc-parent, r=cjgillotStuart Cook-2/+1
2025-08-08Reduce indirect assoc parent queriesCameron Steffen-2/+1
2025-08-07Use `tcx.short_string()` in more diagnosticsEsteban Küber-122/+172
2025-08-06Rename some `Printer` methods.Nicholas Nethercote-6/+6
2025-08-05Simplify multiple things.Nicholas Nethercote-14/+13
2025-08-05Rename most of the printers.Nicholas Nethercote-3/+3
2025-08-05Rollup merge of #144776 - nnethercote:Printer-cleanups, r=cjgillotSamuel Tardieu-42/+43
2025-08-04Suggest bounds in more cases, accounting for type parameters referenced in pr...Esteban Küber-10/+67