Florian Diebold
|
1c622e9fed
|
Add cycle recovery for type aliases
|
2019-11-30 12:57:32 +01:00 |
|
Florian Diebold
|
3ca40f7c08
|
Add cycle recovery for generic predicates
|
2019-11-30 12:57:32 +01:00 |
|
Florian Diebold
|
cf6809645e
|
Handle cycles in impl types better
- impl Trait<Self> for S is allowed
- impl Trait for S<Self> is an invalid cycle, but we can add cycle recovery for
it in Salsa now
|
2019-11-30 12:57:32 +01:00 |
|
oxalica
|
2cb684bbce
|
Reduce variants of Expr
|
2019-11-29 14:49:12 +08:00 |
|
oxalica
|
4992d2bf79
|
Infer range types
|
2019-11-29 03:10:16 +08:00 |
|
Aleksey Kladov
|
8f1f5a783a
|
Move source-related traits to a separate module
|
2019-11-28 19:05:21 +03:00 |
|
Aleksey Kladov
|
ccd1b0800a
|
Rename Source -> InFile
|
2019-11-28 12:50:26 +03:00 |
|
Aleksey Kladov
|
1d14fd1737
|
Use Name::missing consistently
|
2019-11-27 23:22:20 +03:00 |
|
Aleksey Kladov
|
04735abfae
|
Minimize API
|
2019-11-27 22:21:01 +03:00 |
|
Aleksey Kladov
|
8d34696826
|
Memoize impl resolutions
|
2019-11-27 22:12:09 +03:00 |
|
Aleksey Kladov
|
d9a36a736b
|
Rename module_id -> local_id
|
2019-11-27 21:31:51 +03:00 |
|
Aleksey Kladov
|
47ec2ceb12
|
prune deps
|
2019-11-27 21:26:49 +03:00 |
|
Aleksey Kladov
|
a87579500a
|
Move Ty
|
2019-11-27 21:16:00 +03:00 |
|
Jeremy Kolb
|
b81548c73a
|
Fix stale crates that snuck in
|
2019-11-26 08:20:40 -05:00 |
|
Aleksey Kladov
|
4e17718a9a
|
Doc primitives
|
2019-11-26 15:41:48 +03:00 |
|
Aleksey Kladov
|
4c43631829
|
Introduce hir_ty
|
2019-11-26 15:06:06 +03:00 |
|