| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Profile trait solving for all invocations | Kirill Bulatov | 2021-04-14 | 1 | -4/+1 |
| | | |||||
| * | Better places for spans | Kirill Bulatov | 2021-04-14 | 1 | -2/+1 |
| | | |||||
| * | We need to go deeper | Kirill Bulatov | 2021-04-14 | 1 | -1/+5 |
| | | |||||
| * | Add a missing span | Kirill Bulatov | 2021-04-14 | 1 | -0/+2 |
| | | |||||
| * | Fix crash on syn involving lifetimes returned by Chalk | Florian Diebold | 2021-04-09 | 1 | -6/+38 |
| | | | | | | | | | | | If we get lifetime variables back in autoderef, just immediately replace them by static lifetimes for now. Method resolution doesn't really deal correctly with new variables being introduced (this needs to be fixed more properly). This fixes `rust-analyzer analysis-stats --with-deps` crashing in the RA repo. | ||||
| * | Move Ty::builtin_deref | Lukas Wirth | 2021-04-07 | 1 | -1/+9 |
| | | |||||
| * | Remove `SolutionVariables`, add ConstrainedSubst analogous to Chalk | Florian Diebold | 2021-04-06 | 1 | -5/+5 |
| | | | | | ... just missing the constraints. | ||||
| * | Move ProjectionTy methods to extension trait | Florian Diebold | 2021-04-05 | 1 | -1/+1 |
| | | |||||
| * | Move things from `traits` module to `types` as well | Florian Diebold | 2021-04-04 | 1 | -4/+2 |
| | | |||||
| * | More TyBuilder use | Florian Diebold | 2021-04-04 | 1 | -23/+15 |
| | | |||||
| * | Rename Ty::interned to Ty::kind | Florian Diebold | 2021-04-03 | 1 | -1/+1 |
| | | | | | ... since that's the actual method on Chalk side that matches the signature. | ||||
| * | Introduce `GenericArg` like in Chalk | Florian Diebold | 2021-04-03 | 1 | -2/+7 |
| | | | | | | | | Plus some more adaptations to Substitution. Lots of `assert_ty_ref` that we should revisit when introducing lifetime/const parameters. | ||||
| * | Align InEnvironment with Chalk | Florian Diebold | 2021-03-21 | 1 | -12/+12 |
| | | | | | | | 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. | ||||
| * | Align Canonical more with Chalk's version | Florian Diebold | 2021-03-21 | 1 | -12/+21 |
| | | | | | In particular, use chalk_ir::CanonicalVarKinds. | ||||
| * | Turn Obligation into something similar to chalk_ir::DomainGoal | Florian Diebold | 2021-03-20 | 1 | -4/+5 |
| | | | | | This includes starting to make use of Chalk's `Cast` trait. | ||||
| * | Replace Projection variant in GenericPredicate with AliasEq | Lukas Wirth | 2021-03-19 | 1 | -7/+8 |
| | | |||||
| * | Chalkify TraitRef | Florian Diebold | 2021-03-18 | 1 | -2/+3 |
| | | |||||
| * | Rename Substs -> Substitution | Florian Diebold | 2021-03-16 | 1 | -2/+2 |
| | | |||||
| * | Use chalk_ir::FnSig | Florian Diebold | 2021-03-14 | 1 | -1/+4 |
| | | |||||
| * | Rename some fields to their Chalk names | Florian Diebold | 2021-03-14 | 1 | -1/+1 |
| | | |||||
| * | Use chalk_ir::AssocTypeId | Florian Diebold | 2021-03-13 | 1 | -1/+2 |
| | | |||||
| * | Separate `Ty` and `TyKind` like in Chalk | Florian Diebold | 2021-03-13 | 1 | -4/+5 |
| | | | | | | Currently `Ty` just wraps `TyKind`, but this allows us to change most places to already use `intern` / `interned`. | ||||
| * | Introduce Ty::Alias | Lukas Wirth | 2021-03-01 | 1 | -2/+3 |
| | | |||||
| * | Being Ty::InferenceVar closes to chalk equivalent | Lukas Wirth | 2021-03-01 | 1 | -2/+4 |
| | | |||||
| * | Rename ra_hir_ty -> hir_ty | Aleksey Kladov | 2020-08-13 | 1 | -0/+131 |
 |
index : rust-analyzer | |
| [FORK] modified to work on wasm targets |
| aboutsummaryrefslogtreecommitdiff |