| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Move things from `traits` module to `types` as well | Florian Diebold | 2021-04-04 | 1 | -2/+2 |
| | | |||||
| * | Replace Substitution::bound_vars and ::type_params_for_generics | Florian Diebold | 2021-04-04 | 1 | -2/+2 |
| | | |||||
| * | Replace remaining uses of Substitution::build_for_def | Florian Diebold | 2021-04-04 | 1 | -2/+1 |
| | | |||||
| * | Add and start using TraitRef and ProjectionTy builders | Florian Diebold | 2021-04-04 | 1 | -5/+3 |
| | | |||||
| * | Rename Ty::interned to Ty::kind | Florian Diebold | 2021-04-03 | 1 | -2/+2 |
| | | | | | ... since that's the actual method on Chalk side that matches the signature. | ||||
| * | minor: add profile call for resolve_obligations | Aleksey Kladov | 2021-04-02 | 1 | -0/+2 |
| | | |||||
| * | Don't recheck obligations if we have learned nothing new | Florian Diebold | 2021-04-01 | 1 | -3/+15 |
| | | | | | | | | | | | This is just the most trivial check: If no inference variables have been updated, and there are no new obligations, we can just skip trying to solve them again. We could be smarter about it, but this already helps quite a bit, and I don't want to touch this too much before we replace the inference table by Chalk's. Fixes #8263 (well, improves it quite a bit). | ||||
| * | completion relevance consider if types can be unified | Josh Mcguigan | 2021-03-26 | 1 | -0/+5 |
| | | |||||
| * | Align InEnvironment with Chalk | Florian Diebold | 2021-03-21 | 1 | -1/+1 |
| | | | | | | | This in particular means storing a chalk_ir::Environment, not our TraitEnvironment. This makes InEnvironment not usable for Type, where we need to keep the full TraitEnvironment. | ||||
| * | Turn Obligation into something similar to chalk_ir::DomainGoal | Florian Diebold | 2021-03-20 | 1 | -6/+6 |
| | | | | | This includes starting to make use of Chalk's `Cast` trait. | ||||
| * | Replace Projection variant in GenericPredicate with AliasEq | Lukas Wirth | 2021-03-19 | 1 | -9/+9 |
| | | |||||
| * | Chalkify TraitRef | Florian Diebold | 2021-03-18 | 1 | -2/+3 |
| | | |||||
| * | Rename Substs -> Substitution | Florian Diebold | 2021-03-16 | 1 | -4/+4 |
| | | |||||
| * | Merge #8018 | bors[bot] | 2021-03-15 | 1 | -6/+24 |
| |\ | | | | | | | | | | | | | | | | | | | 8018: Make Ty wrap TyKind in an Arc r=flodiebold a=flodiebold ... to further move towards Chalk. This is a bit of a slowdown (218ginstr vs 213ginstr for inference on RA), even though it allows us to unwrap the Substs in `TyKind::Ref` etc.. Co-authored-by: Florian Diebold <[email protected]> | ||||
| | * | Make Ty wrap TyKind in an Arc | Florian Diebold | 2021-03-14 | 1 | -6/+24 |
| | | | | | | | | | | | | | | | | | ... like it will be in Chalk. We still keep `interned_mut` and `into_inner` methods that will probably not exist with Chalk. This worsens performance slightly (5ginstr inference on RA), but doesn't include other simplifications we can do yet. | ||||
| * | | Simplify source maps for fields | Aleksey Kladov | 2021-03-15 | 1 | -3/+3 |
| |/ | |||||
| * | Rename some fields to their Chalk names | Florian Diebold | 2021-03-14 | 1 | -2/+2 |
| | | |||||
| * | Move type lowering methods to TyLoweringContext | Florian Diebold | 2021-03-13 | 1 | -5/+5 |
| | | |||||
| * | Create TraitEnvironment through a query | Florian Diebold | 2021-03-13 | 1 | -1/+3 |
| | | |||||
| * | Use chalk_ir::PlaceholderIndex | Florian Diebold | 2021-03-13 | 1 | -1/+1 |
| | | |||||
| * | Use chalk_ir::AssocTypeId | Florian Diebold | 2021-03-13 | 1 | -2/+5 |
| | | |||||
| * | Separate `Ty` and `TyKind` like in Chalk | Florian Diebold | 2021-03-13 | 1 | -21/+28 |
| | | | | | | Currently `Ty` just wraps `TyKind`, but this allows us to change most places to already use `intern` / `interned`. | ||||
| * | Use chalk_ir::Mutability | Lukas Wirth | 2021-03-01 | 1 | -2/+3 |
| | | |||||
| * | Introduce Ty::Alias | Lukas Wirth | 2021-03-01 | 1 | -2/+2 |
| | | |||||
| * | Being Ty::InferenceVar closes to chalk equivalent | Lukas Wirth | 2021-03-01 | 1 | -21/+7 |
| | | |||||
| * | Inline TypeCtor into Ty | Lukas Wirth | 2021-02-28 | 1 | -13/+4 |
| | | |||||
| * | Introduce TypeCtor::Scalar | Lukas Wirth | 2021-02-28 | 1 | -3/+3 |
| | | |||||
| * | Make `ModPath`'s representation private | Jonas Schievink | 2021-02-04 | 1 | -1/+1 |
| | | |||||
| * | Remove map module from la-arena public API | Aramis Razzaghipour | 2021-01-15 | 1 | -1/+1 |
| | | | | | | | It’s unlikely that more items will be added to the module, so it’s simpler for users if `ArenaMap` is re-exported and the module made private. | ||||
| * | prepare to publish el libro de arena | Aleksey Kladov | 2021-01-14 | 1 | -1/+1 |
| | | |||||
| * | Remove more unreachable pubs | Aleksey Kladov | 2020-11-02 | 1 | -1/+1 |
| | | |||||
| * | Deny unreachable-pub | Aleksey Kladov | 2020-11-02 | 1 | -3/+3 |
| | | | | | | | | | It's very useful when `pub` is equivalent to "this is crate's public API", let's enforce this! Ideally, we should enforce it for local `cargo test`, and only during CI, but that needs https://github.com/rust-lang/cargo/issues/5034. | ||||
| * | Implement binary operator overloading type inference | Roland Ruckerbauer | 2020-10-13 | 1 | -1/+23 |
| | | |||||
| * | Bump smol_str from 0.1.16 to 0.1.17 | Jean SIMARD | 2020-09-24 | 1 | -1/+1 |
| | | |||||
| * | Rename record_field_pat to record_pat_field | Pavan Kumar Sunkara | 2020-09-10 | 1 | -3/+3 |
| | | |||||
| * | Rename ra_hir_ty -> hir_ty | Aleksey Kladov | 2020-08-13 | 1 | -0/+802 |
 |
index : rust-analyzer | |
| [FORK] modified to work on wasm targets |
| aboutsummaryrefslogtreecommitdiff |