diff options
| author | Philip Herron <herron.philip@googlemail.com> | 2023-03-03 18:42:21 +0000 |
|---|---|---|
| committer | Arthur Cohen <arthur.cohen@embecosm.com> | 2024-01-16 18:19:03 +0100 |
| commit | 312a861d86147327725abae14fd46f2074b0dcf6 (patch) | |
| tree | aca5899d2c095cd8cb094e276bd39d09f1447e36 /gcc/rust/hir/tree/rust-hir.h | |
| parent | 24ce9baa6d9460752174db5577a751ea1964ad04 (diff) | |
| download | gcc-312a861d86147327725abae14fd46f2074b0dcf6.zip gcc-312a861d86147327725abae14fd46f2074b0dcf6.tar.gz gcc-312a861d86147327725abae14fd46f2074b0dcf6.tar.bz2 | |
gccrs: Take advantage of our new unify_and to inject inference
Wen computing higher ranked trait bounds where there are multiple type
params and ones which are not bound entirely on the impl-type we need
to inject inference variables as required to compute the types. The
inference variables we inject are missing the callbacks that we can compute
the bounds properly so this is the first part of the fix.
Addresses #1893
Signed-off-by: Philip Herron <herron.philip@googlemail.com>
gcc/rust/ChangeLog:
* typecheck/rust-hir-trait-resolve.cc: use unify_and infer
Diffstat (limited to 'gcc/rust/hir/tree/rust-hir.h')
0 files changed, 0 insertions, 0 deletions