From d79d2eefd738ba8e5c7cba9fc3bca92c4a22c83e Mon Sep 17 00:00:00 2001 From: "Celina G. Val" Date: Thu, 14 Nov 2024 22:09:42 -0800 Subject: [PATCH] Apply suggestions from code review Co-authored-by: Qinheping Hu --- kani-compiler/src/kani_middle/abi.rs | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/kani-compiler/src/kani_middle/abi.rs b/kani-compiler/src/kani_middle/abi.rs index 08b3e34c3995..bb1e597638da 100644 --- a/kani-compiler/src/kani_middle/abi.rs +++ b/kani-compiler/src/kani_middle/abi.rs @@ -49,8 +49,9 @@ impl LayoutOf { /// Return the unsized tail of the type if this is an unsized type. /// - /// For foreign types, return None. - /// For unsized types, this should return either a slice, a string slice, a dynamic type. + /// For foreign types, return `None`. + /// For unsized types, this should return either a slice, a string slice, a dynamic type, + /// or a foreign type. /// For other types, this function will return `None`. pub fn unsized_tail(&self) -> Option { if self.layout.is_unsized() { @@ -68,7 +69,7 @@ impl LayoutOf { } } - /// Return the type of the elements of the array or slice at the unsized tail of this type. + /// Return the type of the elements of the slice or `str` at the unsized tail of this type. /// /// For sized types and trait unsized type, this function will return `None`. pub fn unsized_tail_elem_ty(&self) -> Option {