diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-06-29 15:13:41 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-06-29 15:13:41 +0100 |
commit | 82ce5792ab70ab8d20a1afde72c5400c27b9c190 (patch) | |
tree | 79cc454a617f30080a611b8ac66de849b0af53b7 /crates/ra_hir_ty/src/test_db.rs | |
parent | ca31b1d63ae91a69f1ce9c0b075403834ba19f38 (diff) | |
parent | 8e8d2ffecbc9e260ee5f0d37ba057b660e16076f (diff) |
Merge #5124
5124: (Partially) fix handling of type params depending on type params r=matklad a=flodiebold
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.
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'crates/ra_hir_ty/src/test_db.rs')
0 files changed, 0 insertions, 0 deletions