aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/traits
Commit message (Expand)AuthorAgeFilesLines
* Remove `SolutionVariables`, add ConstrainedSubst analogous to ChalkFlorian Diebold2021-04-061-2/+14
* Clean up Chalk mapping a bitFlorian Diebold2021-04-061-69/+37
* Move Ty accessors to TyExtLukas Wirth2021-04-061-1/+1
* Add chalk_ir::Const to TyKind::ArrayLukas Wirth2021-04-061-13/+8
* Use a constructor function for Static lifetimesLukas Wirth2021-04-061-7/+7
* Always use Static lifetimes in chalk mappingLukas Wirth2021-04-061-1/+2
* Add Lifetime to DynTyLukas Wirth2021-04-061-0/+1
* Add Lifetime to TyKind::RefLukas Wirth2021-04-061-5/+5
* Fix shifting of binders in FnPointerFlorian Diebold2021-04-051-6/+3
* Align FnPointer with ChalkFlorian Diebold2021-04-051-5/+5
* Binders::wrap_empty -> wrap_empty_bindersFlorian Diebold2021-04-051-6/+2
* Substitution::single -> from1Florian Diebold2021-04-051-2/+4
* Move ProjectionTy methods to extension traitFlorian Diebold2021-04-051-3/+3
* Use more assoc. type aliases in the chalk internerJonas Schievink2021-04-051-22/+21
* Rename shift_bound_vars{_out} to align with ChalkFlorian Diebold2021-04-051-1/+1
* Add Interner parameter to Binders::substituteFlorian Diebold2021-04-051-1/+1
* Binders::subst -> substituteFlorian Diebold2021-04-051-1/+1
* Use VariableKinds in BindersFlorian Diebold2021-04-052-18/+14
* Hide Binders internals moreFlorian Diebold2021-04-052-28/+32
* Pass interner to TraitRef::self_type_parameterLaurențiu Nicola2021-04-051-1/+1
* Pass interner to ProjectionTy::self_type_parameterLaurențiu Nicola2021-04-051-1/+1
* Rename TyKind::ForeignType to ForeignLaurențiu Nicola2021-04-051-2/+2
* Rename TyKind::Unknown to ErrorLaurențiu Nicola2021-04-052-4/+4
* Move things from `traits` module to `types` as wellFlorian Diebold2021-04-041-5/+3
* Move things in hir_ty into submodulesFlorian Diebold2021-04-041-5/+5
* Replace Substitution::bound_vars and ::type_params_for_genericsFlorian Diebold2021-04-041-5/+5
* Add TyBuilder::unit() and TyExt::is_unit()Florian Diebold2021-04-041-2/+2
* Rename Ty::interned to Ty::kindFlorian Diebold2021-04-031-1/+1
* Introduce `GenericArg` like in ChalkFlorian Diebold2021-04-032-17/+32
* Fix chalk_ir assertionFlorian Diebold2021-03-241-5/+3
* Align InEnvironment with ChalkFlorian Diebold2021-03-211-4/+1
* Align Canonical more with Chalk's versionFlorian Diebold2021-03-211-25/+2
* Use QuantifiedWhereClause in generic_predicates as wellFlorian Diebold2021-03-211-1/+1
* Introduce QuantifiedWhereClause and DynTy analogous to ChalkFlorian Diebold2021-03-212-44/+60
* Ignore type bindings in generic_predicates_for_paramFlorian Diebold2021-03-211-1/+1
* Turn Obligation into something similar to chalk_ir::DomainGoalFlorian Diebold2021-03-201-4/+6
* Remove WhereClause::ErrorFlorian Diebold2021-03-202-13/+2
* Rename GenericPredicate -> WhereClauseFlorian Diebold2021-03-202-18/+16
* Replace Projection variant in GenericPredicate with AliasEqLukas Wirth2021-03-192-41/+67
* Chalkify TraitRefFlorian Diebold2021-03-182-13/+12
* avoid converting types into themselves via .into() (clippy::useless-conversion)Matthias Krüger2021-03-171-1/+1
* Rename Substs -> SubstitutionFlorian Diebold2021-03-162-15/+18
*-. Merge #7900 #8000bors[bot]2021-03-161-1/+1
|\ \
| | * Use hir formatter moreoxalica2021-03-151-1/+1
* | | Use SmallVec for SubstsFlorian Diebold2021-03-151-3/+4
| |/ |/|
* | Don't use Substs for Ref/Raw/Array/SliceFlorian Diebold2021-03-141-17/+13
* | Make Ty wrap TyKind in an ArcFlorian Diebold2021-03-141-1/+1
* | More renamingFlorian Diebold2021-03-141-10/+8
* | Use chalk_ir::FnSigFlorian Diebold2021-03-141-10/+9
* | Rename some fields to their Chalk namesFlorian Diebold2021-03-142-13/+13