Further revert Deref for Cow to its 1.90.0 state

ref: #147964 (comment)

Author: cuviper

library/alloc/src/borrow.rs

@@ -333,7 +333,8 @@ impl<B: ?Sized + ToOwned> Cow<'_, B> {
 // #[rustc_const_unstable(feature = "const_convert", issue = "143773")]
 #[stable(feature = "rust1", since = "1.0.0")]
 impl<B: ?Sized + ToOwned> Deref for Cow<'_, B>
-// where
+where
+    B::Owned: Borrow<B>,
 //     B::Owned: [const] Borrow<B>,
 {
     type Target = B;

tests/ui/traits/generic-cow-inference-regression.rs

@@ -5,9 +5,12 @@
 
 use std::borrow::{Cow, Borrow};
 
-pub fn generic_deref<'a, T: ToOwned<Owned = U>, U>(cow: Cow<'a, T>) {
-    let _: &T = &cow;
-}
+// This won't work even with the non-const bound on `Deref` like 1.90.0, although note
+// as well that no such bound existed until 1.57 started `~const` experiments.
+//
+// pub fn generic_deref<'a, T: ToOwned<Owned = U>, U>(cow: Cow<'a, T>) {
+//     let _: &T = &cow;
+// }
 
 pub fn generic_borrow<'a, T: ToOwned<Owned = U>, U>(cow: Cow<'a, T>) {
     let _: &T = cow.borrow();