aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/display.rs
Commit message (Expand)AuthorAgeFilesLines
* Add chalk_ir::Const to TyKind::ArrayLukas Wirth2021-04-061-10/+36
* Add Lifetime to TyKind::RefLukas Wirth2021-04-061-1/+1
* Substitution::prefix -> subst_prefixFlorian Diebold2021-04-051-4/+6
* Move ProjectionTy methods to extension traitFlorian Diebold2021-04-051-1/+2
* Replace unused hir_ty::Lifetime with chalk equivalentsLukas Wirth2021-04-051-8/+31
* Add Interner parameter to Binders::substituteFlorian Diebold2021-04-051-6/+6
* Binders::subst -> substituteFlorian Diebold2021-04-051-6/+6
* Hide Binders internals moreFlorian Diebold2021-04-051-3/+3
* Pass interner to TraitRef::self_type_parameterLaurențiu Nicola2021-04-051-15/+16
* Pass interner to ProjectionTy::self_type_parameterLaurențiu Nicola2021-04-051-2/+2
* Rename TyKind::ForeignType to ForeignLaurențiu Nicola2021-04-051-1/+1
* Rename TyKind::Unknown to ErrorLaurențiu Nicola2021-04-051-2/+2
* Move things in hir_ty into submodulesFlorian Diebold2021-04-041-10/+10
* Replace Substitution::type_paramsFlorian Diebold2021-04-041-2/+1
* Replace Substitution::bound_vars and ::type_params_for_genericsFlorian Diebold2021-04-041-2/+2
* Add TyBuilder::unit() and TyExt::is_unit()Florian Diebold2021-04-041-3/+4
* Rename Ty::interned to Ty::kindFlorian Diebold2021-04-031-4/+4
* Introduce `GenericArg` like in ChalkFlorian Diebold2021-04-031-24/+37
* Use arrayvec 0.6Laurențiu Nicola2021-03-251-4/+2
* Merge #8144bors[bot]2021-03-221-0/+6
|\
| * bail out early for source code closureshi-rustin2021-03-221-0/+6
* | Use QuantifiedWhereClause in generic_predicates as wellFlorian Diebold2021-03-211-10/+2
* | Introduce QuantifiedWhereClause and DynTy analogous to ChalkFlorian Diebold2021-03-211-16/+32
* | Ignore type bindings in generic_predicates_for_paramFlorian Diebold2021-03-211-6/+15
|/
* Turn Obligation into something similar to chalk_ir::DomainGoalFlorian Diebold2021-03-201-15/+5
* Remove WhereClause::ErrorFlorian Diebold2021-03-201-11/+1
* Rename GenericPredicate -> WhereClauseFlorian Diebold2021-03-201-16/+13
* Replace Projection variant in GenericPredicate with AliasEqLukas Wirth2021-03-191-22/+36
* Chalkify TraitRefFlorian Diebold2021-03-181-7/+7
* Rename Substs -> SubstitutionFlorian Diebold2021-03-161-2/+2
* Impl HirDisplay for function hover messageoxalica2021-03-151-8/+195
* Don't use Substs for Ref/Raw/Array/SliceFlorian Diebold2021-03-141-6/+3
* More renamingFlorian Diebold2021-03-141-2/+5
* Rename some fields to their Chalk namesFlorian Diebold2021-03-141-8/+8
* Use chalk_ir::OpaqueTyIdFlorian Diebold2021-03-131-18/+24
* Use chalk_ir::PlaceholderIndexFlorian Diebold2021-03-131-7/+8
* Use chalk_ir::FnDefIdFlorian Diebold2021-03-131-4/+5
* Use chalk_ir::AssocTypeIdFlorian Diebold2021-03-131-10/+18
* Use chalk_ir::ForeignDefIdFlorian Diebold2021-03-131-4/+4
* Separate `Ty` and `TyKind` like in ChalkFlorian Diebold2021-03-131-57/+59
* Delete `ContainerId`Jonas Schievink2021-03-091-2/+2
* Use chalk_ir::AdtIdLukas Wirth2021-03-041-10/+11
* Use chalk_ir::MutabilityLukas Wirth2021-03-011-2/+17
* Introduce Ty::AliasLukas Wirth2021-03-011-9/+10
* Being Ty::InferenceVar closes to chalk equivalentLukas Wirth2021-03-011-1/+1
* Lift FnPointer into a structLukas Wirth2021-02-281-6/+6
* Remove Substs from Ty::ForeignTypeLukas Wirth2021-02-281-6/+1
* Turn Ty::Tuple variant into a tuple-variantLukas Wirth2021-02-281-1/+1
* Fix code_model::Type::walk not walking all typesLukas Wirth2021-02-281-13/+14
* Inline TypeCtor into TyLukas Wirth2021-02-281-92/+72