aboutsummaryrefslogtreecommitdiff
path: root/gcc/rust/hir/tree/rust-hir.h
diff options
context:
space:
mode:
authorPhilip Herron <herron.philip@googlemail.com>2023-03-03 18:17:50 +0000
committerArthur Cohen <arthur.cohen@embecosm.com>2024-01-16 18:21:08 +0100
commit1e1bcabf1c6aabb5b5eb5abf6689b88313dbb736 (patch)
tree74f8e462ee00b43608cc3b8519a38e61219c2d65 /gcc/rust/hir/tree/rust-hir.h
parent9e369c3577eaf0e755a2d6da0597a352a4c21a54 (diff)
downloadgcc-1e1bcabf1c6aabb5b5eb5abf6689b88313dbb736.zip
gcc-1e1bcabf1c6aabb5b5eb5abf6689b88313dbb736.tar.gz
gcc-1e1bcabf1c6aabb5b5eb5abf6689b88313dbb736.tar.bz2
gccrs: make predicate bounds overwrite-able
When compiling types especially when using queries it needs to be permissive and allow them to be overwritten and a predicate might have one set of details in one senario and a new one with the same id later on but with different types. Fixes #1524 Signed-off-by: Philip Herron <herron.philip@googlemail.com> gcc/rust/ChangeLog: * typecheck/rust-typecheck-context.cc (TypeCheckContext::insert_resolved_predicate): remove gcc/testsuite/ChangeLog: * rust/compile/issue-1524.rs: New test.
Diffstat (limited to 'gcc/rust/hir/tree/rust-hir.h')
0 files changed, 0 insertions, 0 deletions