| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Get rid of resolve_ty_as_possible | Florian Diebold | 2021-05-21 | 1 | -1/+1 |
| | | | | | Instead use shallow resolving where necessary. | ||||
| * | Rework obligation handling | Florian Diebold | 2021-05-21 | 1 | -1/+1 |
| | | | | | | | | | We can't do the easy hack that we did before anymore, where we kept track of whether any inference variables changed since the last time we rechecked obligations. Instead, we store the obligations in canonicalized form; that way we can easily check the inference variables to see whether they have changed since the goal was canonicalized. | ||||
| * | Remove our unification code, use Chalk's instead | Florian Diebold | 2021-05-21 | 1 | -1/+1 |
| | | |||||
| * | Intern Substitutions | Florian Diebold | 2021-04-08 | 1 | -1/+1 |
| | | | | | (Costs a bit of performance, reduces memory usage on RA by ~10%.) | ||||
| * | Move hir_trait_id to extension trait | Florian Diebold | 2021-04-07 | 1 | -1/+2 |
| | | |||||
| * | Move Ty accessors to TyExt | Lukas Wirth | 2021-04-06 | 1 | -1/+3 |
| | | |||||
| * | Add Interner parameter to Binders::substitute | Florian Diebold | 2021-04-05 | 1 | -3/+4 |
| | | |||||
| * | Binders::subst -> substitute | Florian Diebold | 2021-04-05 | 1 | -3/+3 |
| | | |||||
| * | Rename TyKind::Unknown to Error | Laurențiu Nicola | 2021-04-05 | 1 | -2/+2 |
| | | |||||
| * | Move things in hir_ty into submodules | Florian Diebold | 2021-04-04 | 1 | -1/+1 |
| | | | | | | - all the types that will be replaced by Chalk go to `types` - `TypeWalk` impls go to `walk` | ||||
| * | Replace Substitution::bound_vars and ::type_params_for_generics | Florian Diebold | 2021-04-04 | 1 | -1/+1 |
| | | |||||
| * | Replace last uses of SubstsBuilder by TyBuilder | Florian Diebold | 2021-04-04 | 1 | -4/+1 |
| | | |||||
| * | Replace remaining uses of Substitution::build_for_def | Florian Diebold | 2021-04-04 | 1 | -1/+1 |
| | | |||||
| * | Add and start using TraitRef and ProjectionTy builders | Florian Diebold | 2021-04-04 | 1 | -12/+4 |
| | | |||||
| * | 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. | ||||
| * | Introduce `GenericArg` like in Chalk | Florian Diebold | 2021-04-03 | 1 | -3/+3 |
| | | | | | | | | Plus some more adaptations to Substitution. Lots of `assert_ty_ref` that we should revisit when introducing lifetime/const parameters. | ||||
| * | Don't recheck obligations if we have learned nothing new | Florian Diebold | 2021-04-01 | 1 | -1/+1 |
| | | | | | | | | | | | 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). | ||||
| * | hir_ty: introduce visible_from_module param into method resolution | cynecx | 2021-03-20 | 1 | -0/+1 |
| | | |||||
| * | Turn Obligation into something similar to chalk_ir::DomainGoal | Florian Diebold | 2021-03-20 | 1 | -4/+8 |
| | | | | | This includes starting to make use of Chalk's `Cast` trait. | ||||
| * | Chalkify TraitRef | Florian Diebold | 2021-03-18 | 1 | -5/+7 |
| | | |||||
| * | Rename Substs -> Substitution | Florian Diebold | 2021-03-16 | 1 | -10/+10 |
| | | |||||
| * | Move type lowering methods to TyLoweringContext | Florian Diebold | 2021-03-13 | 1 | -5/+5 |
| | | |||||
| * | Use chalk_ir::PlaceholderIndex | Florian Diebold | 2021-03-13 | 1 | -1/+1 |
| | | |||||
| * | Separate `Ty` and `TyKind` like in Chalk | Florian Diebold | 2021-03-13 | 1 | -3/+3 |
| | | | | | | Currently `Ty` just wraps `TyKind`, but this allows us to change most places to already use `intern` / `interned`. | ||||
| * | Stop using `ContainerId` in `AssocContainerId` | Jonas Schievink | 2021-03-09 | 1 | -1/+1 |
| | | |||||
| * | Add ConstParams to the HIR | Lukas Wirth | 2021-01-01 | 1 | -0/+1 |
| | | |||||
| * | Rename ra_hir_ty -> hir_ty | Aleksey Kladov | 2020-08-13 | 1 | -0/+287 |
 |
index : rust-analyzer | |
| [FORK] modified to work on wasm targets |
| aboutsummaryrefslogtreecommitdiff |