diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2020-11-22 09:58:58 -0500 |
|---|---|---|
| committer | Mark Rousskov <mark.simulacrum@gmail.com> | 2021-09-17 12:47:48 -0400 |
| commit | 2ee89144e21c10a95b411ff72235da6e29c04a94 (patch) | |
| tree | 2c639b798247fc8c3c1fc647e72d22aba99b91ce /src/test/codegen/src-hash-algorithm | |
| parent | e0c38af27cb5f6f961809601b717d6afc3b190ee (diff) | |
| download | rust-2ee89144e21c10a95b411ff72235da6e29c04a94.tar.gz rust-2ee89144e21c10a95b411ff72235da6e29c04a94.zip | |
introduce new fallback algorithm
We now fallback type variables using the following rules: * Construct a coercion graph `A -> B` where `A` and `B` are unresolved type variables or the `!` type. * Let D be those variables that are reachable from `!`. * Let N be those variables that are reachable from a variable not in D. * All variables in (D \ N) fallback to `!`. * All variables in (D & N) fallback to `()`.
Diffstat (limited to 'src/test/codegen/src-hash-algorithm')
0 files changed, 0 insertions, 0 deletions