commit 22cb28882a192d88c262abd1e70bc0c67c46838a
author David Tolnay <dtolnay@gmail.com> Sun Mar 28 03:55:34 2021 -0400
committer David Tolnay <dtolnay@gmail.com> Sun Mar 28 04:23:06 2021 -0400
tree 81070fe7c0c663c727c84a102cfd080e9b68d4b9
parent 6ca15ddb0c9d0d001fd32cfeea8925f55b87fd69

Recognize mutable slice in return position of a safe function

syntax/check.rs

diff --git a/syntax/check.rs b/syntax/check.rs
index 10025ac..bab2dec 100644
--- a/syntax/check.rs
+++ b/syntax/check.rs
@@ -514,6 +514,7 @@
 
     match &efn.ret {
         Some(Type::Ref(ty)) if ty.mutable => {}
+        Some(Type::SliceRef(slice)) if slice.mutable => {}
         _ => return,
     }