aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/traits/chalk
Commit message (Collapse)AuthorAgeFilesLines
* Reorganize hir_ty modulesFlorian Diebold2021-04-093-827/+0
| | | | | Chalk isn't really a 'traits' thing anymore, so it doesn't make sense to have all the Chalk-related stuff in submodules of `traits`.
* CleanupFlorian Diebold2021-04-081-23/+14
|
* Intern VariancesFlorian Diebold2021-04-081-2/+3
| | | | This may be a slight performance improvement.
* Don't intern ProgramClause at allFlorian Diebold2021-04-081-2/+2
| | | | This seems to work best performance/memory-wise.
* Intern QuantifiedWhereClausesFlorian Diebold2021-04-081-2/+3
| | | | Slight performance and memory usage improvement.
* Intern ProgramClausesFlorian Diebold2021-04-081-2/+3
|
* Intern CanonicalVarKindsFlorian Diebold2021-04-081-2/+3
| | | | Slight savings in performance and memory.
* Intern consts & lifetimesFlorian Diebold2021-04-081-6/+19
| | | | Slight memory usage reduction.
* Intern typesFlorian Diebold2021-04-081-3/+7
| | | | Performance about the same, memory reduced by ~5%.
* Intern SubstitutionsFlorian Diebold2021-04-082-10/+17
| | | | (Costs a bit of performance, reduces memory usage on RA by ~10%.)
* Intern VariableKindsFlorian Diebold2021-04-081-4/+14
|
* Remove unusedFlorian Diebold2021-04-081-4/+3
|
* Replace `make_binders` by the now equivalent `make_only_type_binders`Florian Diebold2021-04-081-14/+0
|
* Remove identity impls for ToChalkFlorian Diebold2021-04-081-187/+4
|
* Fix shifted_{in,out} callsFlorian Diebold2021-04-081-1/+1
|
* Make ToChalk implementations identityFlorian Diebold2021-04-081-258/+41
|
* Fix return type of `self_type_parameter`Florian Diebold2021-04-071-2/+2
|
* Move hir_trait_id to extension traitFlorian Diebold2021-04-071-3/+3
|
* Remove `SolutionVariables`, add ConstrainedSubst analogous to ChalkFlorian Diebold2021-04-061-2/+14
| | | | ... just missing the constraints.
* Clean up Chalk mapping a bitFlorian Diebold2021-04-061-69/+37
|
* 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
| | | | | | | | | - don't shift in/out for Chalk mapping (we want to have the same binders now) - do shift in when creating the signature for a closure (though it shouldn't matter much) - do shift in when lowering a `fn()` type - correctly deal with the implied binder in TypeWalk
* Align FnPointer with ChalkFlorian Diebold2021-04-051-5/+5
|
* 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
| | | | Makes it sligthly easier to swap out these types
* 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-051-13/+9
|
* Hide Binders internals moreFlorian Diebold2021-04-051-7/+10
|
* 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-051-3/+3
|
* 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
| | | | | - all the types that will be replaced by Chalk go to `types` - `TypeWalk` impls go to `walk`
* Introduce `GenericArg` like in ChalkFlorian Diebold2021-04-031-12/+27
| | | | | | | Plus some more adaptations to Substitution. Lots of `assert_ty_ref` that we should revisit when introducing lifetime/const parameters.
* Align InEnvironment with ChalkFlorian Diebold2021-03-211-4/+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.
* Align Canonical more with Chalk's versionFlorian Diebold2021-03-211-25/+2
| | | | In particular, use chalk_ir::CanonicalVarKinds.
* Use QuantifiedWhereClause in generic_predicates as wellFlorian Diebold2021-03-211-1/+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-42/+52
| | | | | 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.
* Turn Obligation into something similar to chalk_ir::DomainGoalFlorian Diebold2021-03-201-4/+6
| | | | This includes starting to make use of Chalk's `Cast` trait.
* Remove WhereClause::ErrorFlorian Diebold2021-03-201-6/+1
| | | | | Chalk doesn't have it, and judging from the removed code, it wasn't useful anyway.
* Rename GenericPredicate -> WhereClauseFlorian Diebold2021-03-201-14/+12
|
* Replace Projection variant in GenericPredicate with AliasEqLukas Wirth2021-03-191-33/+59
|
* Chalkify TraitRefFlorian Diebold2021-03-181-8/+7
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-04 22:23:31 +0100