Florian Diebold
|
eea777c714
|
Use chalk_ir::FnSig
|
2021-03-14 16:30:43 +01:00 |
|
Florian Diebold
|
3411fe3e84
|
Rename some fields to their Chalk names
|
2021-03-14 16:30:43 +01:00 |
|
Florian Diebold
|
3743ede404
|
Move type lowering methods to TyLoweringContext
|
2021-03-13 22:44:36 +01:00 |
|
Florian Diebold
|
c82d1823a1
|
Create TraitEnvironment through a query
|
2021-03-13 20:38:45 +01:00 |
|
Florian Diebold
|
b035c314b4
|
Use chalk_ir::OpaqueTyId
|
2021-03-13 20:05:47 +01:00 |
|
Florian Diebold
|
1bf6b7360c
|
Use chalk_ir::PlaceholderIndex
|
2021-03-13 19:47:34 +01:00 |
|
Florian Diebold
|
2d69eb131f
|
Use chalk_ir::ClosureId
|
2021-03-13 19:27:09 +01:00 |
|
Florian Diebold
|
9719ce9fc7
|
Use chalk_ir::FnDefId
|
2021-03-13 17:56:48 +01:00 |
|
Florian Diebold
|
19664e276a
|
Use chalk_ir::AssocTypeId
|
2021-03-13 17:56:48 +01:00 |
|
Florian Diebold
|
dfafcd926a
|
Use chalk_ir::ForeignDefId
|
2021-03-13 17:56:48 +01:00 |
|
Florian Diebold
|
6c32bbf3ca
|
Separate Ty and TyKind like in Chalk
Currently `Ty` just wraps `TyKind`, but this allows us to change most
places to already use `intern` / `interned`.
|
2021-03-13 16:17:15 +01:00 |
|
Jonas Schievink
|
8447f101ac
|
Remove ItemTree::source
`HasSource` should be used instead
|
2021-03-12 23:54:29 +01:00 |
|
Florian Diebold
|
784636f1c1
|
Simplify a bit
|
2021-03-12 20:51:29 +01:00 |
|
Florian Diebold
|
ec70387a4c
|
Use Chalk Environment more directly
|
2021-03-12 19:12:17 +01:00 |
|
Jonas Schievink
|
c2622c9228
|
Prefer names from outer DefMap over extern prelude
|
2021-03-10 16:33:18 +01:00 |
|
Jonas Schievink
|
b885e6bdee
|
Delete ContainerId
|
2021-03-09 19:09:02 +01:00 |
|
Jonas Schievink
|
a430549aa6
|
Stop using ContainerId in AssocContainerId
|
2021-03-09 18:27:23 +01:00 |
|
Jonas Schievink
|
12f6bdcfd9
|
Check ancestor maps when computing traits in scope
|
2021-03-09 18:27:23 +01:00 |
|
Jonas Schievink
|
1da0a27626
|
Use body.block_scopes in hir_ty tests
|
2021-03-09 18:27:23 +01:00 |
|
Jonas Schievink
|
0cb46a9e8d
|
Use body.block_scopes to validate inner items
|
2021-03-09 18:27:23 +01:00 |
|
Laurențiu Nicola
|
fc9eed4836
|
Use upstream cov-mark
|
2021-03-08 22:19:44 +02:00 |
|
Laurențiu Nicola
|
d3ca22876c
|
Make two calls virtual
|
2021-03-05 20:25:24 +02:00 |
|
Lukas Wirth
|
50e01d2bc7
|
Use chalk_ir::AdtId
|
2021-03-04 19:38:02 +01:00 |
|
Lukas Wirth
|
7072f59fc6
|
Use chalk_ir::Mutability
|
2021-03-01 19:57:36 +01:00 |
|
Lukas Wirth
|
5d121cdb45
|
Introduce Ty::Alias
|
2021-03-01 14:24:00 +01:00 |
|
Lukas Wirth
|
4b7fc69315
|
Assert index relationship between type_variable_table and var_unification_table
|
2021-03-01 13:54:17 +01:00 |
|
Lukas Wirth
|
11a1f13cd1
|
Being Ty::InferenceVar closes to chalk equivalent
|
2021-03-01 12:41:29 +01:00 |
|
bors[bot]
|
5df3ee8274
|
Merge #7816
7816: Lift Ty::Fn into a struct r=Veykril a=Veykril
bors r+
Co-authored-by: Lukas Wirth <lukastw97@gmail.com>
|
2021-02-28 22:54:07 +00:00 |
|
Lukas Wirth
|
407196b8c0
|
Lift FnPointer into a struct
|
2021-02-28 23:53:21 +01:00 |
|
cynecx
|
2cdd1ff1b5
|
hir_ty: use default type generic for box expressions
|
2021-02-28 21:18:30 +01:00 |
|
Lukas Wirth
|
a3fd2faba5
|
Remove Substs from Ty::ForeignType
|
2021-02-28 20:44:09 +01:00 |
|
Lukas Wirth
|
0e995adcf6
|
Turn Ty::Tuple variant into a tuple-variant
|
2021-02-28 20:39:43 +01:00 |
|
Lukas Wirth
|
faf2dd49e4
|
Fix code_model::Type::walk not walking all types
|
2021-02-28 20:15:56 +01:00 |
|
Lukas Wirth
|
a3f5491a1a
|
Inline TypeCtor into Ty
|
2021-02-28 19:13:37 +01:00 |
|
Lukas Wirth
|
7c2dd85a32
|
Use chalk_ir::Scalar directly
|
2021-02-28 11:06:37 +01:00 |
|
Lukas Wirth
|
5183c9f083
|
Introduce TypeCtor::Scalar
|
2021-02-28 01:20:04 +01:00 |
|
Laurențiu Nicola
|
d03cfe141c
|
Add test from #7273
|
2021-02-21 19:22:14 +02:00 |
|
Lukas Wirth
|
0799288f01
|
Don't write trailing whitespace when formatting empty GenericPredicates
|
2021-02-20 20:43:04 +01:00 |
|
Lukas Wirth
|
9e5192d917
|
Don't lower TypeBound::Lifetime as GenericPredicate::Error
|
2021-02-20 19:08:20 +01:00 |
|
Laurențiu Nicola
|
c1d37f030f
|
Add test
|
2021-02-20 12:43:52 +02:00 |
|
Jonas Schievink
|
216dc856c5
|
Wrap BuiltinType in code model
|
2021-02-11 19:52:33 +01:00 |
|
Jonas Schievink
|
925c51aef3
|
Add test for #1165
Closes #1165
|
2021-02-10 18:42:35 +01:00 |
|
Jonas Schievink
|
2382dce2d3
|
Slightly expand test
|
2021-02-10 17:37:15 +01:00 |
|
Jonas Schievink
|
3c5734712a
|
Add more tests
|
2021-02-10 15:59:20 +01:00 |
|
Jonas Schievink
|
a00fa0c06f
|
Put the old resolver back
|
2021-02-10 15:12:45 +01:00 |
|
Jonas Schievink
|
244d8e37f1
|
Update fixed tests
|
2021-02-10 14:48:52 +01:00 |
|
Jonas Schievink
|
e837df8479
|
infer: update resolver when descending into block
|
2021-02-10 14:41:54 +01:00 |
|
Aleksey Kladov
|
4b1279d0b1
|
Infra for "unit" benchmarking
|
2021-02-09 20:25:39 +03:00 |
|
bors[bot]
|
876c4519e3
|
Merge #7602
7602: Check for dyn impls in method resolution r=flodiebold a=Veykril
Fixes #6777
Co-authored-by: Lukas Wirth <lukastw97@gmail.com>
|
2021-02-08 18:22:35 +00:00 |
|
Lukas Wirth
|
965d31ce5b
|
Check for dyn impls in method resolution
|
2021-02-08 19:13:54 +01:00 |
|