Kirill Bulatov
|
739edfd5cf
|
Exclude inherent traits from flyimports
|
2021-04-16 11:13:17 +03:00 |
|
Florian Diebold
|
d992736e79
|
Remove unused
|
2021-04-08 14:36:14 +02:00 |
|
Florian Diebold
|
b25b147e86
|
Fix shifted_{in,out} calls
|
2021-04-08 14:08:55 +02:00 |
|
Florian Diebold
|
6777a4975d
|
Move hir_trait_id to extension trait
|
2021-04-07 20:40:01 +02:00 |
|
Jonas Schievink
|
e9752308bb
|
infer: remove record_field_resolutions field
It stores no useful data, since we can derive all fields from
`variant_resolutions`
|
2021-04-06 17:59:18 +02:00 |
|
Florian Diebold
|
a316d58360
|
Rename shift_bound_vars{_out} to align with Chalk
|
2021-04-05 19:21:03 +02:00 |
|
Florian Diebold
|
30a339e038
|
Add Interner parameter to Binders::substitute
|
2021-04-05 19:21:01 +02:00 |
|
Florian Diebold
|
05eba0db3d
|
Binders::subst -> substitute
|
2021-04-05 19:20:28 +02:00 |
|
Jonas Schievink
|
7c0c713a10
|
Intern GenericParams
Also share the same instance between `ItemTree` and `generic_params`
query.
|
2021-04-05 03:50:10 +02:00 |
|
Jonas Schievink
|
24e876b52e
|
Intern more TypeRefs in generics
Saves ~3 MB
|
2021-04-05 02:03:37 +02:00 |
|
Florian Diebold
|
a4d7bdf1c8
|
Replace Substitution::bound_vars and ::type_params_for_generics
|
2021-04-04 13:16:39 +02:00 |
|
Florian Diebold
|
b4c20e3589
|
Fix chalk_ir assertion
Fixes #8150.
|
2021-03-24 23:10:13 +01:00 |
|
Florian Diebold
|
1d5c4a77fb
|
Use QuantifiedWhereClause in generic_predicates as well
Still far too much binder skipping going on; I find it hard to imagine
this is all correct, but the tests pass.
|
2021-03-21 18:01:14 +01:00 |
|
Florian Diebold
|
7a5fb37cf1
|
Rename GenericPredicate -> WhereClause
|
2021-03-20 10:46:36 +01:00 |
|
Florian Diebold
|
7a7e47eab7
|
Chalkify TraitRef
|
2021-03-18 21:53:19 +01:00 |
|
Jonas Schievink
|
a430549aa6
|
Stop using ContainerId in AssocContainerId
|
2021-03-09 18:27:23 +01:00 |
|
Lukas Wirth
|
fa65d6ba85
|
Higher-ranked trait bounds for where clauses
|
2020-12-17 22:01:42 +01:00 |
|
Lukas Wirth
|
11f8664182
|
Add Lifetimes to the HIR
|
2020-12-12 00:56:52 +01:00 |
|
Aleksey Kladov
|
6a77ec7bbe
|
Rename ra_hir_ty -> hir_ty
|
2020-08-13 16:35:29 +02:00 |
|