diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-05 10:01:14 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-05 10:01:14 +0000 |
| commit | 082161121ca7fbf8fdafb0edcd86f2126df9f832 (patch) | |
| tree | 920e61b1df2c0b39934d08c5338a9f27e283ca57 /gcc/rust/backend/rust-compile-context.h | |
| parent | b1dcbc3d8e2fedd7b0c2f42554f4c2297469dabe (diff) | |
| parent | fad543c8b8bc9c9c2ca98f28b13182dc28e65a28 (diff) | |
| download | gcc-082161121ca7fbf8fdafb0edcd86f2126df9f832.zip gcc-082161121ca7fbf8fdafb0edcd86f2126df9f832.tar.gz gcc-082161121ca7fbf8fdafb0edcd86f2126df9f832.tar.bz2 | |
Merge #406
406: Add locations to implicit inference variables r=philberty a=philberty
When we have expression paths to generic functions we need to resolve all
type parameters to something otherwise we are left with orphaned inference
variables.
This adds the same checks from rustc back in, previously the
PathInExpression resolver abused inference variables as it was implemented
incorrectly since this is fixed in previous PRs we can bring this back in
to make typing more strict again.
Fixes #375
Co-authored-by: Philip Herron <philip.herron@embecosm.com>
Diffstat (limited to 'gcc/rust/backend/rust-compile-context.h')
0 files changed, 0 insertions, 0 deletions