git.ipfire.org Git - thirdparty/gcc.git/commit

author	Philip Herron <herron.philip@googlemail.com>
	Tue, 18 Jul 2023 15:07:32 +0000 (16:07 +0100)
committer	Arthur Cohen <arthur.cohen@embecosm.com>
	Tue, 16 Jan 2024 17:56:03 +0000 (18:56 +0100)
commit	f84d52a5173c1b432ad07294bc643dc5e8d53bdf
tree	42c15856552bef0adb72c7ad892b0b964af17dfa	tree
parent	c533a11ae05bae53e4421810f7108aac697ded4e	commit \| diff

gccrs: Track polarity in type bound predicate

Addresses #2443

gcc/rust/ChangeLog:

* typecheck/rust-hir-path-probe.cc: track regular polarity
* typecheck/rust-hir-trait-resolve.cc (TraitResolver::resolve_trait): likewise
* typecheck/rust-hir-type-check-expr.cc (TypeCheckExpr::visit): likewise
* typecheck/rust-hir-type-check-item.cc (TypeCheckItem::visit): likewise
* typecheck/rust-tyty-bounds.cc (TypeCheckBase::get_predicate_from_bound): likewise
(TypeBoundPredicate::TypeBoundPredicate): update ctor
(TypeBoundPredicate::operator=): update copy assignment ctor
(TypeBoundPredicate::error): update error node
* typecheck/rust-tyty.h: add polarity field to predicate

Signed-off-by: Philip Herron <herron.philip@googlemail.com>

gcc/rust/typecheck/rust-hir-path-probe.cc		diff \| blob \| blame \| history
gcc/rust/typecheck/rust-hir-trait-resolve.cc		diff \| blob \| blame \| history
gcc/rust/typecheck/rust-hir-type-check-expr.cc		diff \| blob \| blame \| history
gcc/rust/typecheck/rust-hir-type-check-item.cc		diff \| blob \| blame \| history
gcc/rust/typecheck/rust-tyty-bounds.cc		diff \| blob \| blame \| history
gcc/rust/typecheck/rust-tyty.h		diff \| blob \| blame \| history