aboutsummaryrefslogtreecommitdiff
path: root/crates/hir/src/display.rs
Commit message (Collapse)AuthorAgeFilesLines
* Don't store supertraits in ItemTreeLaurențiu Nicola2021-05-271-4/+0
|
* internal: intern `TypeBound`sJonas Schievink2021-05-241-1/+1
| | | | | Doesn't save much memory (~2 mb), but interning things is generally a good pattern to follow
* internal: normalize nameAleksey Kladov2021-04-301-1/+1
| | | | All def types in hir are unsubstituted
* Add Interner parameter to Binders::substituteFlorian Diebold2021-04-051-1/+3
|
* Binders::subst -> substituteFlorian Diebold2021-04-051-1/+1
|
* Replace Substitution::type_paramsFlorian Diebold2021-04-041-2/+2
|
* Use bitflags to compress function propertiesJonas Schievink2021-04-031-9/+8
| | | | Very minor savings, only 1 MB or so
* Global TypeRef/TraitRef interningJonas Schievink2021-04-011-1/+1
|
* 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