Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Align InEnvironment with Chalk | Florian Diebold | 2021-03-21 | 1 | -1/+1 |
* | Use QuantifiedWhereClause in generic_predicates as well | Florian Diebold | 2021-03-21 | 1 | -5/+1 |
* | Introduce QuantifiedWhereClause and DynTy analogous to Chalk | Florian Diebold | 2021-03-21 | 1 | -1/+5 |
* | 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 |