Merge #794

794: Fix unhandled type bounds in TypeAlias r=philberty a=philberty

This adds support for trait-object-types and desugars HIR::TraitObjectTypeOneBound into a single
HIR::TraitObjectType. This also adds the missing cases of the generic arguments to the TypeBoundPredicates.

It also contains cleanup for helpers used during monomorphization and a recursion limiter which is likely set too
low but it is good enough for the test-cases we have now to get good back-traces. 

Fixes #786 

Co-authored-by: Philip Herron <philip.herron@embecosm.com>

1 files changed, 6 insertions, 4 deletions

diff --git a/gcc/rust/parse/rust-parse-impl.h b/gcc/rust/parse/rust-parse-impl.h
index 7f0db1b..f1d376a 100644
--- a/gcc/rust/parse/rust-parse-impl.h
+++ b/gcc/rust/parse/rust-parse-impl.h
@@ -9065,7 +9065,8 @@ Parser<ManagedTokenSource>::parse_type ()
 	  = parse_type_param_bounds ();
 
 	return std::unique_ptr<AST::TraitObjectType> (
-	  new AST::TraitObjectType (std::move (bounds), t->get_locus ()));
+	  new AST::TraitObjectType (std::move (bounds), t->get_locus (),
+				    false));
       }
     case IDENTIFIER:
     case SUPER:
@@ -9152,7 +9153,7 @@ Parser<ManagedTokenSource>::parse_type ()
 		}
 
 	      return std::unique_ptr<AST::TraitObjectType> (
-		new AST::TraitObjectType (std::move (bounds), locus));
+		new AST::TraitObjectType (std::move (bounds), locus, false));
 	    }
 	  default:
 	    // assume that this is a type path and not an error
@@ -9422,7 +9423,8 @@ Parser<ManagedTokenSource>::parse_paren_prefixed_type ()
 	    }
 
 	  return std::unique_ptr<AST::TraitObjectType> (
-	    new AST::TraitObjectType (std::move (bounds), left_delim_locus));
+	    new AST::TraitObjectType (std::move (bounds), left_delim_locus,
+				      false));
 	}
       else
 	{
@@ -9532,7 +9534,7 @@ Parser<ManagedTokenSource>::parse_for_prefixed_type ()
 	  }
 
 	return std::unique_ptr<AST::TraitObjectType> (
-	  new AST::TraitObjectType (std::move (bounds), for_locus));
+	  new AST::TraitObjectType (std::move (bounds), for_locus, false));
       }
     default:
       // error