| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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. | ||||
| * | Use QuantifiedWhereClause in generic_predicates as well | Florian Diebold | 2021-03-21 | 1 | -5/+1 |
| | | | | | | Still far too much binder skipping going on; I find it hard to imagine this is all correct, but the tests pass. | ||||
| * | Introduce QuantifiedWhereClause and DynTy analogous to Chalk | Florian Diebold | 2021-03-21 | 1 | -1/+5 |
| | | | | | | This introduces a bunch of new binders in lots of places, which we have to be careful about, but we had to add them at some point. | ||||
| * | Rename Substs -> Substitution | Florian Diebold | 2021-03-16 | 1 | -2/+2 |
| | | |||||
| * | Implement HirDisplay for some more types | Lukas Wirth | 2021-03-16 | 1 | -2/+28 |
| | | |||||
| * | Pretty print root module of extern crates | oxalica | 2021-03-15 | 1 | -0/+4 |
| | | |||||
| * | Fix trait type parameter | oxalica | 2021-03-15 | 1 | -1/+7 |
| | | |||||
| * | Use hir formatter more | oxalica | 2021-03-15 | 1 | -2/+178 |
| | | |||||
| * | Impl HirDisplay for function hover message | oxalica | 2021-03-15 | 1 | -2/+232 |
| | | |||||
| * | Collect HirDisplay impls to a single file | oxalica | 2021-03-15 | 1 | -0/+25 |
 |
index : rust-analyzer | |
| [FORK] modified to work on wasm targets |
| aboutsummaryrefslogtreecommitdiff |