diff options
| author | Florian Diebold <[email protected]> | 2020-06-26 15:36:59 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2020-06-29 15:10:20 +0100 |
| commit | 8e8d2ffecbc9e260ee5f0d37ba057b660e16076f (patch) | |
| tree | 0a7a4a79b56a0cfce21421537d5dbbf55ec7c28c /docs | |
| parent | 117cf0b85bc8022a939fe43054f64aaa35117dd9 (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 'docs')
0 files changed, 0 insertions, 0 deletions