diff options
author | Philip Herron <herron.philip@googlemail.com> | 2023-03-13 17:02:56 +0000 |
---|---|---|
committer | Philip Herron <philip.herron@embecosm.com> | 2023-03-17 10:34:36 +0000 |
commit | 75b6a14c46e9572998f88ee211ae8e8323e0ce72 (patch) | |
tree | d2bba9f14342253107d82966e92bde8238efcb74 /gcc/rust/resolve/rust-ast-resolve-expr.cc | |
parent | dab27f737e1a2c5c071b7885de2fa73f70fccd63 (diff) | |
download | gcc-75b6a14c46e9572998f88ee211ae8e8323e0ce72.zip gcc-75b6a14c46e9572998f88ee211ae8e8323e0ce72.tar.gz gcc-75b6a14c46e9572998f88ee211ae8e8323e0ce72.tar.bz2 |
gccrs: Only infer when no generic arguments have been specified
On Paths such as: mem::size_of<T>() we always specified to infer the
generics which is not always the case and can cause stay inference
variables.
gcc/rust/ChangeLog:
* typecheck/rust-hir-type-check-path.cc (TypeCheckExpr::visit): remove infer call
(TypeCheckExpr::resolve_root_path): only infer when we need to
gcc/testsuite/ChangeLog:
* rust/compile/sizeof-stray-infer-var-bug.rs: New test.
Signed-off-by: Philip Herron <herron.philip@googlemail.com>
Diffstat (limited to 'gcc/rust/resolve/rust-ast-resolve-expr.cc')
0 files changed, 0 insertions, 0 deletions