Address review comments

Author: Randl

library/core/src/net/socket_addr.rs

@@ -1,6 +1,5 @@
 use super::display_buffer::DisplayBuffer;
 use crate::fmt::{self, Write};
-use crate::marker::Destruct;
 use crate::net::{IpAddr, Ipv4Addr, Ipv6Addr};
 
 /// An internet socket address, either IPv4 or IPv6.
@@ -614,7 +613,7 @@ impl const From<SocketAddrV6> for SocketAddr {
 
 #[stable(feature = "addr_from_into_ip", since = "1.17.0")]
 #[rustc_const_unstable(feature = "const_try", issue = "74935")]
-impl<I: ~const Into<IpAddr> + ~const Destruct> const From<(I, u16)> for SocketAddr {
+impl<I: ~const Into<IpAddr>> const From<(I, u16)> for SocketAddr {
     /// Converts a tuple struct (Into<[`IpAddr`]>, `u16`) into a [`SocketAddr`].
     ///
     /// This conversion creates a [`SocketAddr::V4`] for an [`IpAddr::V4`]

library/core/src/result.rs

@@ -534,7 +534,6 @@
 #![stable(feature = "rust1", since = "1.0.0")]
 
 use crate::iter::{self, FusedIterator, TrustedLen};
-use crate::marker::Destruct;
 use crate::ops::{self, ControlFlow, Deref, DerefMut};
 use crate::{convert, fmt, hint};
 
@@ -1289,11 +1288,11 @@ impl<T, E> Result<T, E> {
     /// ```
     #[unstable(feature = "unwrap_infallible", reason = "newly added", issue = "61695")]
     #[inline]
+    #[rustc_allow_const_fn_unstable(const_precise_live_drops)]
     #[rustc_const_unstable(feature = "const_try", issue = "74935")]
     pub const fn into_ok(self) -> T
     where
-        E: ~const Into<!> + ~const Destruct,
-        T: ~const Destruct,
+        E: ~const Into<!>,
     {
         match self {
             Ok(x) => x,
@@ -1326,11 +1325,11 @@ impl<T, E> Result<T, E> {
     /// ```
     #[unstable(feature = "unwrap_infallible", reason = "newly added", issue = "61695")]
     #[inline]
+    #[rustc_allow_const_fn_unstable(const_precise_live_drops)]
     #[rustc_const_unstable(feature = "const_try", issue = "74935")]
     pub const fn into_err(self) -> E
     where
-        T: ~const Into<!> + ~const Destruct,
-        E: ~const Destruct,
+        T: ~const Into<!>,
     {
         match self {
             Ok(x) => x.into(),

tests/ui/consts/const-try.rs

@@ -1,4 +1,6 @@
 //@ check-pass
+//@ revisions: current next
+//@[next] compile-flags: -Znext-solver
 
 // Demonstrates what's needed to make use of `?` in const contexts.
 

tests/ui/traits/const-traits/hir-const-check.rs

@@ -1,5 +1,5 @@
-//@ run-pass
-// @ compile-flags: -Znext-solver
+//@ check-pass
+//@ compile-flags: -Znext-solver
 
 // Regression test for #69615.
 

tests/ui/traits/const-traits/trait-default-body-stability.rs

@@ -1,5 +1,4 @@
 //@ run-pass
-// @ known-bug: #110395
 //@ compile-flags: -Znext-solver
 #![allow(incomplete_features)]
 #![feature(staged_api)]