Adjusted documentation further

Author: izagawd

library/core/src/any.rs

@@ -898,12 +898,11 @@ pub const fn type_name_of_val<T: ?Sized>(_val: &T) -> &'static str {
 }
 
 
-/// Attempts to view `T` as a reference to the trait object `U`.
-///
-/// Returns `Some(&U)` if the type `T` implements `U`, and `None` otherwise.
+
+/// Returns `Some(&U)` if `T` can be coerced to the trait object type `U`. Otherwise, it returns `None`.
 ///
 /// # Compile-time failures
-/// Determining whether `T` implements `U` requires trait resolution by the compiler.
+/// Determining whether `T` can be coerced to the trait object type `U` requires compiler trait resolution.
 /// In some cases, that resolution can exceed the recursion limit,
 /// and compilation will fail *instead of* this function returning `None`.
 /// # Examples
@@ -953,12 +952,11 @@ pub const fn try_as_dyn<
     }
 }
 
-/// Attempts to view `T` as a reference to the trait object `U`.
-///
-/// Returns `Some(&mut U)` if the type `T` implements `U`, and `None` otherwise.
+
+/// Returns `Some(&mut U)` if `T` can be coerced to the trait object type `U`. Otherwise, it returns `None`.
 ///
 /// # Compile-time failures
-/// Determining whether `T` implements `U` requires trait resolution by the compiler.
+/// Determining whether `T` can be coerced to the trait object type `U` requires compiler trait resolution.
 /// In some cases, that resolution can exceed the recursion limit,
 /// and compilation will fail *instead of* this function returning `None`.
 /// # Examples

library/core/src/intrinsics/mod.rs

@@ -2657,10 +2657,10 @@ pub unsafe fn vtable_size(ptr: *const ()) -> usize;
 #[rustc_intrinsic]
 pub unsafe fn vtable_align(ptr: *const ()) -> usize;
 
-/// The intrinsic returns the vtable of `T` through the lens of `U`.
+/// The intrinsic returns the `U` vtable for `T` if `T` can be coerced to the trait object type `U`.
 ///
 /// # Compile-time failures
-/// Determining whether `T` implements `U` requires trait resolution by the compiler.
+/// Determining whether `T` can be coerced to the trait object type `U` requires trait resolution by the compiler.
 /// In some cases, that resolution can exceed the recursion limit,
 /// and compilation will fail *instead of* this function returning `None`.
 ///