gccrs: add type alias bounds lint

Warn on bounds applied to the generic parameters of a type alias, as
those bounds are not enforced.

gcc/rust/ChangeLog:

	* checks/lints/unused/rust-unused-checker.cc (UnusedChecker::visit):
	New.
	* checks/lints/unused/rust-unused-checker.h (UnusedChecker::visit):
	New.

gcc/testsuite/ChangeLog:

	* rust/compile/type-alias-bounds_0.rs: New test.

Signed-off-by: Lucas Ly Ba <lucas.ly-ba@outlook.com>

Author: lucasly-ba

gcc/rust/checks/lints/unused/rust-unused-checker.cc

@@ -323,5 +323,24 @@ UnusedChecker::visit (HIR::MatchExpr &expr)
   walk (expr);
 }
 
+void
+UnusedChecker::visit (HIR::TypeAlias &type_alias)
+{
+  bool has_bounds = type_alias.has_where_clause ();
+  for (auto &param : type_alias.get_generic_params ())
+    if (param->get_kind () == HIR::GenericParam::GenericKind::TYPE)
+      {
+	auto &type_param = static_cast<HIR::TypeParam &> (*param);
+	if (type_param.has_type_param_bounds ())
+	  has_bounds = true;
+      }
+
+  if (has_bounds)
+    rust_warning_at (type_alias.get_locus (), OPT_Wunused_variable,
+		     "bounds on generic parameters in type aliases are not "
+		     "enforced");
+  walk (type_alias);
+}
+
 } // namespace Analysis
 } // namespace Rust

gcc/rust/checks/lints/unused/rust-unused-checker.h

@@ -50,6 +50,7 @@ class UnusedChecker : public HIR::DefaultHIRVisitor
   virtual void visit (HIR::LifetimeParam &lft) override;
   virtual void visit (HIR::StructPatternFieldIdentPat &field) override;
   virtual void visit (HIR::MatchExpr &expr) override;
+  virtual void visit (HIR::TypeAlias &type_alias) override;
   virtual void visit_loop_label (HIR::LoopLabel &label) override;
 };
 } // namespace Analysis

gcc/testsuite/rust/compile/type-alias-bounds_0.rs

@@ -0,0 +1,11 @@
+// { dg-additional-options "-frust-unused-check-2.0" }
+#![feature(no_core, lang_items)]
+#![no_core]
+
+#[lang = "sized"]
+pub trait Sized {}
+
+pub trait Foo {}
+
+pub type Alias<T: Foo> = T;
+// { dg-warning "bounds on generic parameters in type aliases are not enforced" "" { target *-*-* } .-1 }