commit 73b7264eb0cea5e3ba2b30674e49d478cd00cb0a
author David Tolnay <dtolnay@gmail.com> Wed Nov 25 17:44:05 2020 -0800
committer David Tolnay <dtolnay@gmail.com> Wed Nov 25 17:44:10 2020 -0800
tree 2be2d469f22eae8dea792bcf02827ad5dd633806
parent e0dca7b994166d06df7b2cd76ca546cf003c8d32

Generalize Type::SliceRefU8 to Type::SliceRef

syntax/check.rs

diff --git a/syntax/check.rs b/syntax/check.rs
index 968f28b..431aeee 100644
--- a/syntax/check.rs
+++ b/syntax/check.rs
@@ -36,7 +36,7 @@
             Type::Ref(ty) => check_type_ref(cx, ty),
             Type::Array(array) => check_type_array(cx, array),
             Type::Fn(ty) => check_type_fn(cx, ty),
-            Type::Str(_) | Type::Void(_) | Type::SliceRefU8(_) => {}
+            Type::Str(_) | Type::Void(_) | Type::SliceRef(_) => {}
         }
     }
 
@@ -179,7 +179,7 @@
 
 fn check_type_array(cx: &mut Check, ty: &Array) {
     let supported = match &ty.inner {
-        Type::Str(_) | Type::SliceRefU8(_) => false,
+        Type::Str(_) | Type::SliceRef(_) => false,
         element => !is_unsized(cx, element),
     };
 
@@ -422,7 +422,7 @@
         | Type::UniquePtr(_)
         | Type::Ref(_)
         | Type::Str(_)
-        | Type::SliceRefU8(_) => false,
+        | Type::SliceRef(_) => false,
     }
 }
 
@@ -492,7 +492,7 @@
         Type::Ref(_) => "reference".to_owned(),
         Type::Str(_) => "&str".to_owned(),
         Type::CxxVector(_) => "C++ vector".to_owned(),
-        Type::SliceRefU8(ty) => match ty.mutable {
+        Type::SliceRef(ty) => match ty.mutable {
             false => "&[u8]".to_owned(),
             true => "&mut [u8]".to_owned(),
         },