aboutsummaryrefslogtreecommitdiff
path: root/docs/dev/README.md
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2020-06-29 15:13:41 +0100
committerGitHub <[email protected]>2020-06-29 15:13:41 +0100
commit82ce5792ab70ab8d20a1afde72c5400c27b9c190 (patch)
tree79cc454a617f30080a611b8ac66de849b0af53b7 /docs/dev/README.md
parentca31b1d63ae91a69f1ce9c0b075403834ba19f38 (diff)
parent8e8d2ffecbc9e260ee5f0d37ba057b660e16076f (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 'docs/dev/README.md')
0 files changed, 0 insertions, 0 deletions