diff options
| author | Philip Herron <herron.philip@googlemail.com> | 2023-03-29 15:00:39 +0100 |
|---|---|---|
| committer | Philip Herron <philip.herron@embecosm.com> | 2023-03-30 16:52:24 +0000 |
| commit | efc3154162fff62d71859ef7d30a5a1ff1a4ba53 (patch) | |
| tree | 789f2cb35e124cd25e0922c7af66a71a7bd7c1da /gcc/rust/resolve | |
| parent | 441c1d06b9b4c311eb599c9cf45cc2ce3b65b4b2 (diff) | |
| download | gcc-efc3154162fff62d71859ef7d30a5a1ff1a4ba53.zip gcc-efc3154162fff62d71859ef7d30a5a1ff1a4ba53.tar.gz gcc-efc3154162fff62d71859ef7d30a5a1ff1a4ba53.tar.bz2 | |
gccrs: make distinction between error and empty for substution args
When handling generics of only lifetimes we have an empty
SubstitutionArgumentMappings which was being detected as an error but this
is not the case as we don't currently handle const generics or generic
lifetimes so this makes the distinction between an error occurred or its
simply empty because it was all only lifetime arguments and we don't care
about it.
Addresses #2043 #2039
gcc/rust/ChangeLog:
* typecheck/rust-tyty-bounds.cc (TypeBoundPredicate::TypeBoundPredicate): this is an empty
(TypeBoundPredicate::operator=): likewise
* typecheck/rust-tyty-subst.cc (SubstitutionArgumentMappings::empty): new interface
(SubstitutionArgumentMappings::is_error): this marks it as an error
* typecheck/rust-tyty-subst.h: update prototypes
Signed-off-by: Philip Herron <herron.philip@googlemail.com>
Diffstat (limited to 'gcc/rust/resolve')
0 files changed, 0 insertions, 0 deletions