aboutsummaryrefslogtreecommitdiff
path: root/crates/rust-analyzer/src/main_loop.rs
diff options
context:
space:
mode:
authorFlorian Diebold <[email protected]>2020-06-26 15:36:59 +0100
committerFlorian Diebold <[email protected]>2020-06-29 15:10:20 +0100
commit8e8d2ffecbc9e260ee5f0d37ba057b660e16076f (patch)
tree0a7a4a79b56a0cfce21421537d5dbbf55ec7c28c /crates/rust-analyzer/src/main_loop.rs
parent117cf0b85bc8022a939fe43054f64aaa35117dd9 (diff)
(Partially) fix handling of type params depending on type params
If the first type parameter gets inferred, that's still not handled correctly; it'll require some more refactoring: E.g. if we have `Thing<T, F=fn() -> T>` and then instantiate `Thing<_>`, that gets turned into `Thing<_, fn() -> _>` before the `_` is instantiated into a type variable -- so afterwards, we have two type variables without any connection to each other.
Diffstat (limited to 'crates/rust-analyzer/src/main_loop.rs')
0 files changed, 0 insertions, 0 deletions