gcc/rust/ChangeLog:

	* checks/errors/rust-feature-gate.cc (FeatureGate::visit): cleaning file.
	* checks/errors/rust-feature-gate.h: cleaning file.

gcc/testsuite/ChangeLog:

	* rust/compile/features/associated_type_defaults_activated.rs:
	Changed test to code that used the tested feature.
	* rust/compile/features/associated_type_defaults_not_activated.rs: New test.
	Will be failing, but dg-error not set up yet.

Signed-off-by: lucas.plantrose <[email protected]>

Author: MajoraSans

gcc/rust/checks/errors/rust-feature-gate.cc

@@ -275,15 +275,9 @@ FeatureGate::visit (AST::ImplTraitTypeOneBound &type)
 void
 FeatureGate::visit (AST::Attribute &attr)
 {
-  if (attr.get_path().as_string() == "register_tool")
+  if (attr.get_path ().as_string () == "register_tool")
     gate (Feature::Name::REGISTER_TOOL, attr.get_locus (),
 	  "register tool is an experimental feature");
 }
 
-void
-FeatureGate::visit (AST::TypeAlias &type)
-{
-  
-}
-
 } // namespace Rust

gcc/rust/checks/errors/rust-feature-gate.h

@@ -55,7 +55,6 @@ class FeatureGate : public AST::DefaultASTVisitor
   void visit (AST::ImplTraitType &type) override;
   void visit (AST::ImplTraitTypeOneBound &type) override;
   void visit (AST::Attribute &attr) override;
-  void visit (AST::TypeAlias &attr) override;
 
 private:
   void gate (Feature::Name name, location_t loc, const std::string &error_msg);

gcc/testsuite/rust/compile/features/associated_type_defaults_activated.rs

@@ -1 +1,15 @@
+// check-pass
+
+// This is another instance of the "normalizations don't work" issue with
+// defaulted associated types.
+
 #![feature(associated_type_defaults)]
+
+pub trait Emitter<'a> {
+    type Ctxt: 'a;
+    type CtxtBrw: 'a = &'a Self::Ctxt;
+
+    fn get_cx(&'a self) -> Self::CtxtBrw;
+}
+
+fn main() {}

gcc/testsuite/rust/compile/features/associated_type_defaults_not_activated.rs

@@ -0,0 +1,15 @@
+// check-pass
+
+// This is another instance of the "normalizations don't work" issue with
+// defaulted associated types.
+
+// #![feature(associated_type_defaults)]
+
+pub trait Emitter<'a> {
+    type Ctxt: 'a;
+    type CtxtBrw: 'a = &'a Self::Ctxt;
+
+    fn get_cx(&'a self) -> Self::CtxtBrw;
+}
+
+fn main() {}