diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2022-01-08 09:05:09 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-08 09:05:09 +0000 |
| commit | c17db9fa5323a5e4d5f2ca7f8a04e05a1c779593 (patch) | |
| tree | cf274785657368e15b49d28bc15a1f36394ce966 /tests/mir-opt/lower_array_len.array_len_raw.NormalizeArrayLen.diff | |
| parent | 54c999893396434725c284fdcfeeb4d47340d53f (diff) | |
| parent | a710b87b1bb86602e9acccbb098039f66e27d80d (diff) | |
| download | rust-c17db9fa5323a5e4d5f2ca7f8a04e05a1c779593.tar.gz rust-c17db9fa5323a5e4d5f2ca7f8a04e05a1c779593.zip | |
Merge #11107
11107: Fix generic type substitution in impl trait with assoc type r=pnevyk a=pnevyk Fixes #11045 The path transform now detects if a type parameter that is being substituted has an associated type. In that case it is necessary (or safe in general case) to fully qualify the substitution with a trait which the associated type belongs to. This PR also fixes the previous wrong behavior of the substitution that could create an invalid tree `PATH_TYPE -> PATH_TYPE -> ...`. Co-authored-by: Petr Nevyhoštěný <petr.nevyhosteny@gmail.com>
Diffstat (limited to 'tests/mir-opt/lower_array_len.array_len_raw.NormalizeArrayLen.diff')
0 files changed, 0 insertions, 0 deletions