2 files changed, 8 insertions, 0 deletions
diff --git a/gcc/rust/resolve/rust-ast-resolve-type.cc b/gcc/rust/resolve/rust-ast-resolve-type.cc
index 271c6fa..252d1ca 100644
--- a/gcc/rust/resolve/rust-ast-resolve-type.cc
+++ b/gcc/rust/resolve/rust-ast-resolve-type.cc
@@ -197,5 +197,11 @@ ResolveType::visit (AST::InferredType &type)
   ok = true;
 }
 
+void
+ResolveType::visit (AST::SliceType &type)
+{
+  type.get_elem_type ()->accept_vis (*this);
+}
+
 } // namespace Resolver
 } // namespace Rust
diff --git a/gcc/rust/resolve/rust-ast-resolve-type.h b/gcc/rust/resolve/rust-ast-resolve-type.h
index 2649e12..d835e00 100644
--- a/gcc/rust/resolve/rust-ast-resolve-type.h
+++ b/gcc/rust/resolve/rust-ast-resolve-type.h
@@ -392,6 +392,8 @@ public:
 
   void visit (AST::TraitObjectType &type) override;
 
+  void visit (AST::SliceType &type) override;
+
 private:
   ResolveType (NodeId parent, bool canonicalize_type_with_generics,
 	       CanonicalPath *canonical_path)