about summary refs log tree commit diff
path: root/src/tools
AgeCommit message (Expand)AuthorLines
2025-09-23Add const parameter keyword completionA4-Tacks-1/+28
2025-09-23Use ParamEnv in TraitEnvironmentJack Huey-170/+216
2025-09-23Add 'db to TraitEnvironmentJack Huey-109/+122
2025-09-23Make Field::ty return TypeNsjackh726-31/+51
2025-09-22Use ns versions of with_diagnostics queriesjackh726-8/+8
2025-09-22Auto merge of #146892 - GuillaumeGomez:rollup-fa7lp0n, r=GuillaumeGomezbors-2/+4
2025-09-22fix SIFA logicRalf Jung-12/+23
2025-09-22Merge pull request #20592 from A4-Tacks/add-braces-closure-in-matchShoyu Vanilla (Flint)-2/+31
2025-09-22Merge pull request #20679 from A4-Tacks/no-comp-ty-in-nested-patShoyu Vanilla (Flint)-0/+20
2025-09-22Merge pull request #20722 from A4-Tacks/pull-assign-up-inner-ifShoyu Vanilla (Flint)-0/+35
2025-09-22Merge pull request #20723 from A4-Tacks/fix-bind-unused-applicable-underscoreShoyu Vanilla (Flint)-3/+30
2025-09-22Merge pull request #20725 from ChayimFriedman2/fix-missing-lifetimeShoyu Vanilla (Flint)-25/+55
2025-09-22Merge pull request #20717 from ShoyuVanilla/migrate-moreChayim Refael Friedman-153/+122
2025-09-22internal: Migrate more predicate things to next-solverShoyu Vanilla-153/+122
2025-09-22Auto merge of #146683 - clarfonthey:safe-intrinsics, r=RalfJung,Amanieubors-4/+4
2025-09-22Fix lifetime elision handling for `Fn`-style trait boundsChayim Refael Friedman-25/+55
2025-09-22share the check_nondet helper as wellRalf Jung-174/+138
2025-09-22share check_all_outcomes impl, and increase max iteration countsRalf Jung-60/+45
2025-09-22Fix modification check of `rustdoc-json-types`Jakub Beránek-2/+4
2025-09-22Merge pull request #4595 from RalfJung/tb-termsRalf Jung-197/+128
2025-09-22Tree::new_child: remove SIFA precondition and sync terminologyRalf Jung-70/+34
2025-09-22TB: rename Active → Unique to match paperRalf Jung-128/+95
2025-09-22avoid violating `slice::from_raw_parts` safety contract in `Vec::extract_if`Petros Angelatos-0/+10
2025-09-22Merge pull request #20724 from ChayimFriedman2/ns-cleanup3Chayim Refael Friedman-0/+32
2025-09-22Another regression test for next solver fixed bugChayim Refael Friedman-0/+32
2025-09-22Fix applicable on underscore for bind_unused_paramA4-Tacks-3/+30
2025-09-22Fix apply in internal if for pull_assignment_upA4-Tacks-0/+35
2025-09-22Clarify `rust-analyzer.inlayHints.maxLength` is not a hard guaranteeChayim Refael Friedman-1/+5
2025-09-21Mark float intrinsics with no preconditions as safeltdk-4/+4
2025-09-21Rollup merge of #143857 - Periodic1911:macro-export, r=jdonszelmannMatthias Krüger-2/+5
2025-09-21Add panic=immediate-abortBen Kimock-7/+35
2025-09-21Port #[macro_export] to the new attribute parsing infrastructureJonathan Brouwer-2/+5
2025-09-21Implement output of colored messages with optional check contextJakub Beránek-55/+152
2025-09-21Migrate the remaining tidy checks to diagnosticsJakub Beránek-572/+560
2025-09-21Add `CheckId`, migrate the `alphabetical` check to diagnosticsJakub Beránek-45/+63
2025-09-21Add diagnostics context and migrate the `style` check to itJakub Beránek-89/+187
2025-09-21Fix not applicable on trailing comma for remove_dbgA4-Tacks-1/+16
2025-09-20Rollup merge of #146762 - madsmtm:test-apple-sim, r=jieyouxuMatthias Krüger-4/+15
2025-09-20allow take union field addresses in safe rustKivooeo-1/+60
2025-09-20Merge pull request #20706 from A4-Tacks/stdx-replace-inplaceShoyu Vanilla (Flint)-3/+41
2025-09-20Add some test for stdx::replaceA4-Tacks-0/+30
2025-09-20Merge pull request #20661 from A4-Tacks/suggest-if-bodyShoyu Vanilla (Flint)-8/+82
2025-09-20Fix to implements in-place stdx::replaceA4-Tacks-3/+11
2025-09-20Fix IfExpr then branch suggestA4-Tacks-8/+82
2025-09-20Merge pull request #20710 from A4-Tacks/unused-var-shorthandShoyu Vanilla (Flint)-11/+57
2025-09-20Merge pull request #20709 from A4-Tacks/destruct-panic-on-not-add-deref-and-p...Shoyu Vanilla (Flint)-2/+48
2025-09-20Merge pull request #20686 from A4-Tacks/gen-default-not-apply-selectedShoyu Vanilla (Flint)-0/+46
2025-09-20Merge pull request #20689 from ShoyuVanilla/accurate-flycheckDavid Barsky-43/+213
2025-09-20Fix selected multi variants applicable generate_default_from_enum_variantA4-Tacks-0/+46
2025-09-20Merge pull request #20688 from A4-Tacks/fix-applicable-after-l-curly-replace-...Shoyu Vanilla (Flint)-0/+18