index
:
rust-analyzer
master
[FORK] modified to work on wasm targets
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
crates
/
hir_ty
/
src
/
traits
/
chalk
/
mapping.rs
Commit message (
Expand
)
Author
Age
Files
Lines
*
Add Lifetime to TyKind::Ref
Lukas Wirth
2021-04-06
1
-5
/
+5
*
Fix shifting of binders in FnPointer
Florian Diebold
2021-04-05
1
-6
/
+3
*
Align FnPointer with Chalk
Florian Diebold
2021-04-05
1
-5
/
+5
*
Move ProjectionTy methods to extension trait
Florian Diebold
2021-04-05
1
-3
/
+3
*
Rename shift_bound_vars{_out} to align with Chalk
Florian Diebold
2021-04-05
1
-1
/
+1
*
Add Interner parameter to Binders::substitute
Florian Diebold
2021-04-05
1
-1
/
+1
*
Binders::subst -> substitute
Florian Diebold
2021-04-05
1
-1
/
+1
*
Use VariableKinds in Binders
Florian Diebold
2021-04-05
1
-13
/
+9
*
Hide Binders internals more
Florian Diebold
2021-04-05
1
-7
/
+10
*
Pass interner to TraitRef::self_type_parameter
Laurențiu Nicola
2021-04-05
1
-1
/
+1
*
Pass interner to ProjectionTy::self_type_parameter
Laurențiu Nicola
2021-04-05
1
-1
/
+1
*
Rename TyKind::ForeignType to Foreign
Laurențiu Nicola
2021-04-05
1
-2
/
+2
*
Rename TyKind::Unknown to Error
Laurențiu Nicola
2021-04-05
1
-3
/
+3
*
Move things from `traits` module to `types` as well
Florian Diebold
2021-04-04
1
-5
/
+3
*
Move things in hir_ty into submodules
Florian Diebold
2021-04-04
1
-5
/
+5
*
Introduce `GenericArg` like in Chalk
Florian Diebold
2021-04-03
1
-12
/
+27
*
Align InEnvironment with Chalk
Florian Diebold
2021-03-21
1
-4
/
+1
*
Align Canonical more with Chalk's version
Florian Diebold
2021-03-21
1
-25
/
+2
*
Use QuantifiedWhereClause in generic_predicates as well
Florian Diebold
2021-03-21
1
-1
/
+1
*
Introduce QuantifiedWhereClause and DynTy analogous to Chalk
Florian Diebold
2021-03-21
1
-42
/
+52
*
Turn Obligation into something similar to chalk_ir::DomainGoal
Florian Diebold
2021-03-20
1
-4
/
+6
*
Remove WhereClause::Error
Florian Diebold
2021-03-20
1
-6
/
+1
*
Rename GenericPredicate -> WhereClause
Florian Diebold
2021-03-20
1
-14
/
+12
*
Replace Projection variant in GenericPredicate with AliasEq
Lukas Wirth
2021-03-19
1
-33
/
+59
*
Chalkify TraitRef
Florian Diebold
2021-03-18
1
-8
/
+7
*
avoid converting types into themselves via .into() (clippy::useless-conversion)
Matthias Krüger
2021-03-17
1
-1
/
+1
*
Rename Substs -> Substitution
Florian Diebold
2021-03-16
1
-6
/
+9
*
Don't use Substs for Ref/Raw/Array/Slice
Florian Diebold
2021-03-14
1
-17
/
+13
*
Make Ty wrap TyKind in an Arc
Florian Diebold
2021-03-14
1
-1
/
+1
*
More renaming
Florian Diebold
2021-03-14
1
-10
/
+8
*
Use chalk_ir::FnSig
Florian Diebold
2021-03-14
1
-10
/
+9
*
Rename some fields to their Chalk names
Florian Diebold
2021-03-14
1
-11
/
+11
*
Use chalk_ir::OpaqueTyId
Florian Diebold
2021-03-13
1
-22
/
+6
*
Use chalk_ir::PlaceholderIndex
Florian Diebold
2021-03-13
1
-19
/
+3
*
Use chalk_ir::ClosureId
Florian Diebold
2021-03-13
1
-8
/
+3
*
Use chalk_ir::FnDefId
Florian Diebold
2021-03-13
1
-3
/
+2
*
Use chalk_ir::AssocTypeId
Florian Diebold
2021-03-13
1
-33
/
+14
*
Use chalk_ir::ForeignDefId
Florian Diebold
2021-03-13
1
-22
/
+2
*
Separate `Ty` and `TyKind` like in Chalk
Florian Diebold
2021-03-13
1
-45
/
+46
*
Use Chalk Environment more directly
Florian Diebold
2021-03-12
1
-33
/
+5
*
Use chalk_ir::AdtId
Lukas Wirth
2021-03-04
1
-14
/
+2
*
Use chalk_ir::Mutability
Lukas Wirth
2021-03-01
1
-22
/
+6
*
Introduce Ty::Alias
Lukas Wirth
2021-03-01
1
-10
/
+10
*
Being Ty::InferenceVar closes to chalk equivalent
Lukas Wirth
2021-03-01
1
-22
/
+10
*
Lift FnPointer into a struct
Lukas Wirth
2021-02-28
1
-16
/
+12
*
Remove Substs from Ty::ForeignType
Lukas Wirth
2021-02-28
1
-5
/
+4
*
Turn Ty::Tuple variant into a tuple-variant
Lukas Wirth
2021-02-28
1
-2
/
+2
*
Inline TypeCtor into Ty
Lukas Wirth
2021-02-28
1
-104
/
+85
*
Use chalk_ir::Scalar directly
Lukas Wirth
2021-02-28
1
-60
/
+4
*
Introduce TypeCtor::Scalar
Lukas Wirth
2021-02-28
1
-80
/
+60
[next]