From 0f3fc1983d6e322b2f85b0c81b77fbfc0a1c280a Mon Sep 17 00:00:00 2001
From: Philip Herron <philip.herron@embecosm.com>
Date: Tue, 16 Nov 2021 13:26:01 +0000
Subject: Traits do allow TypeParameters with defaults

Core traits such as the arithmetic operations have generic arguments such
as: pub trait Add<Rhs = Self>

Addresses #249
---
 gcc/rust/hir/rust-ast-lower-item.h | 23 -----------------------
 1 file changed, 23 deletions(-)

(limited to 'gcc')

diff --git a/gcc/rust/hir/rust-ast-lower-item.h b/gcc/rust/hir/rust-ast-lower-item.h
index db0425f..65a4921 100644
--- a/gcc/rust/hir/rust-ast-lower-item.h
+++ b/gcc/rust/hir/rust-ast-lower-item.h
@@ -613,29 +613,6 @@ public:
     if (trait.has_generics ())
       {
 	generic_params = lower_generic_params (trait.get_generic_params ());
-
-	for (auto &generic_param : generic_params)
-	  {
-	    switch (generic_param->get_kind ())
-	      {
-		case HIR::GenericParam::GenericKind::TYPE: {
-		  const HIR::TypeParam &t
-		    = static_cast<const HIR::TypeParam &> (*generic_param);
-
-		  if (t.has_type ())
-		    {
-		      // see https://github.com/rust-lang/rust/issues/36887
-		      rust_error_at (
-			t.get_locus (),
-			"defaults for type parameters are not allowed here");
-		    }
-		}
-		break;
-
-	      default:
-		break;
-	      }
-	  }
       }
 
     std::vector<std::unique_ptr<HIR::TypeParamBound>> type_param_bounds;
-- 
cgit v1.1