Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |