diff options
| author | Philip Herron <herron.philip@googlemail.com> | 2024-11-04 14:43:25 +0000 |
|---|---|---|
| committer | Arthur Cohen <arthur.cohen@embecosm.com> | 2025-03-21 12:32:55 +0100 |
| commit | 389756b2ac97beeb72cd160eeefee5ea381e55e9 (patch) | |
| tree | e29f313e3ff5bd327348680aa3dd19a2b0b7120a /gcc/rust/hir/tree/rust-hir.cc | |
| parent | cbab7a138956c7a83639b501194ca4031289e028 (diff) | |
| download | gcc-389756b2ac97beeb72cd160eeefee5ea381e55e9.zip gcc-389756b2ac97beeb72cd160eeefee5ea381e55e9.tar.gz gcc-389756b2ac97beeb72cd160eeefee5ea381e55e9.tar.bz2 | |
gccrs: fix bad type inference on local patterns
We do not need to inject inference variables on generic patterns
with generic blocks. This will just cause unconstrained inference
variables as they may not unify against something.
Fixes Rust-GCC#2323
gcc/rust/ChangeLog:
* typecheck/rust-hir-type-check-path.cc (TypeCheckExpr::resolve_root_path): dont infer here
gcc/testsuite/ChangeLog:
* rust/compile/nr2/exclude: nr2 cant handle this
* rust/compile/issue-2323.rs: New test.
Signed-off-by: Philip Herron <herron.philip@googlemail.com>
Diffstat (limited to 'gcc/rust/hir/tree/rust-hir.cc')
0 files changed, 0 insertions, 0 deletions