about summary refs log tree commit diff
path: root/src/tools
AgeCommit message (Expand)AuthorLines
2025-09-23Remove lower::value_ty in favor of lower_nextsolver::value_tyJack Huey-134/+61
2025-09-23Remove lower::ty in favor of lower_nextsolver::tyJack Huey-92/+112
2025-09-23Merge ref 'f6092f224d2b' from rust-lang/rustRalf Jung-9836/+39450
2025-09-23Prepare for merging from rust-lang/rustRalf Jung-1/+1
2025-09-23Merge pull request #20730 from A4-Tacks/migrate-expand-rest-patShoyu Vanilla (Flint)-12/+11
2025-09-23Auto merge of #146317 - saethlin:panic=immediate-abort, r=nnethercotebors-7/+35
2025-09-23Migrate `expand_record_rest_pattern` assist to use `SyntaxEditor`A4-Tacks-12/+11
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