about summary refs log tree commit diff
path: root/src/tools/rust-analyzer/crates/hir-ty
AgeCommit message (Expand)AuthorLines
2025-09-10Properly handle normalizationChayim Refael Friedman-196/+228
2025-09-10An associated type is not a projection!Chayim Refael Friedman-1/+31
2025-09-10Adopt even more custom types in the new solverChayim Refael Friedman-222/+207
2025-09-10Upgrade rustc crates and handle changes to canonicalizationChayim Refael Friedman-86/+225
2025-09-10Fix failing tests and fill-in missing detailsShoyu Vanilla-1418/+888
2025-09-09WIP switch inference table to next-solverjackh726-522/+2280
2025-09-09Make `#[target_feature]` safe always on WASMChayim Refael Friedman-7/+34
2025-09-09Expand target info to include the architectureChayim Refael Friedman-10/+15
2025-09-05Merge pull request #20609 from ChayimFriedman2/update-rustcShoyu Vanilla (Flint)-506/+397
2025-09-04Upgrade rustc cratesChayim Refael Friedman-506/+397
2025-09-04Add a regression test for a fixed new trait solver bugChayim Refael Friedman-1/+22
2025-09-02Make sense of the mess that were (are) different kind of generics in the solverChayim Refael Friedman-226/+314
2025-08-30Merge pull request #20563 from ChayimFriedman2/ns-projection-dyn-auto-traitShoyu Vanilla (Flint)-1/+70
2025-08-28When mapping next-solver's `dyn` type, add `Self` (aka. bound var ^1.0) to au...Chayim Refael Friedman-1/+70
2025-08-28Don't require a full `InferenceTable` for `CastTy`Chayim Refael Friedman-59/+52
2025-08-27Merge pull request #20547 from ChayimFriedman2/highlight-related-unsafe-scopeLaurențiu Nicola-3/+3
2025-08-27Merge pull request #20527 from ChayimFriedman2/cache-next-solverShoyu Vanilla (Flint)-62/+86
2025-08-26In highlight_related, when on an unsafe block, don't highlight unsafe operati...Chayim Refael Friedman-3/+3
2025-08-26Remove `SolverDefId::ForeignId`Chayim Refael Friedman-7/+4
2025-08-25Don't map Chalk's `Normalize` to next solver's `NormalizesTo`Chayim Refael Friedman-6/+16
2025-08-25Normalize all types when finishing inferenceChayim Refael Friedman-0/+29
2025-08-25Cache trait solving across queries in the same revisionChayim Refael Friedman-62/+86
2025-08-24Fix opaque genericsChayim Refael Friedman-43/+54
2025-08-22fix: Infinite recursion while lowering assoc type bounds from supertraitsShoyu Vanilla-1/+58
2025-08-18Auto-attach database in `Analysis` callsLukas Wirth-1/+1
2025-08-17Remove fixme commentjackh726-1/+0
2025-08-17Add FIXME in named_associated_type_shorthand_candidatesjackh726-0/+3
2025-08-17Add fixme to associated_ty_item_boundsjackh726-0/+1
2025-08-17Update fixmejackh726-1/+1
2025-08-17Add new_empty_tuplejackh726-2/+7
2025-08-17Remove a bunch of stuff from chalk_dbjackh726-494/+24
2025-08-17Switch TraitRef in hir::TraitRef to next solverjackh726-23/+263
2025-08-17Replace layout_of_ty with layout_of_ty_nsjackh726-57/+55
2025-08-17Remove all_super_traits in dyn_compatibilityjackh726-7/+33
2025-08-17Switch generics_require_sized_self to next solverjackh726-25/+17
2025-08-17Convert more of dyn_compatibility to next-solverjackh726-153/+130
2025-08-17Switch associated_type_shorthand_candidates to lower_nextsolverjackh726-149/+182
2025-08-17Change direct_super_traits to use generic_predicates_for_param_nsjackh726-14/+29
2025-08-17Convert some of mir/eval to next-solver typesjackh726-132/+258
2025-08-17Deduplicate layout_of_adtjackh726-43/+12
2025-08-17impl HirDisplay for next_solver::Tyjackh726-295/+458
2025-08-17Convert more of dyn_compatibility to next-solverjackh726-130/+123
2025-08-17Convert some of dyn_compatibility to next-solver and remove generic_predicate...jackh726-52/+78
2025-08-17fix: Make lang items query properly filter out overwritten/excluded sysrootsShoyu Vanilla-0/+51
2025-08-15add commentjackh726-0/+7
2025-08-15Add test for webrender-2022 metricsjackh726-0/+32
2025-08-13Shift vars when mapping Dynjackh726-0/+3
2025-08-13Merge pull request #20446 from lcnr/kinda-unhelpful-3Lukas Wirth-81/+88
2025-08-13manually normalize aliaslcnr-8/+3
2025-08-13layout_of uses `PostAnalysis`lcnr-2/+6