aboutsummaryrefslogtreecommitdiff
path: root/crates/hir/src/display.rs
Commit message (Collapse)AuthorAgeFilesLines
* Align InEnvironment with ChalkFlorian Diebold2021-03-211-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 wellFlorian Diebold2021-03-211-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 ChalkFlorian Diebold2021-03-211-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 -> SubstitutionFlorian Diebold2021-03-161-2/+2
|
* Implement HirDisplay for some more typesLukas Wirth2021-03-161-2/+28
|
* Pretty print root module of extern cratesoxalica2021-03-151-0/+4
|
* Fix trait type parameteroxalica2021-03-151-1/+7
|
* Use hir formatter moreoxalica2021-03-151-2/+178
|
* Impl HirDisplay for function hover messageoxalica2021-03-151-2/+232
|
* Collect HirDisplay impls to a single fileoxalica2021-03-151-0/+25