Treat normalizing consts like normalizing types in deeply normalize

1 files changed, 0 insertions, 14 deletions

diff --git a/tests/crashes/140571.rs b/tests/crashes/140571.rs
deleted file mode 100644
index 97fa1d8432d..00000000000
--- a/tests/crashes/140571.rs
+++ /dev/null
@@ -1,14 +0,0 @@
-//@ known-bug: #140571
-pub trait IsVoid {
-    const IS_VOID: bool;
-}
-impl<T> IsVoid for T {
-    default const IS_VOID: bool = false;
-}
-impl<T> Maybe<T> for () where T: NotVoid + ?Sized {}
-
-pub trait NotVoid {}
-impl<T> NotVoid for T where T: IsVoid<IS_VOID = false> + ?Sized {}
-
-pub trait Maybe<T> {}
-impl<T> Maybe<T> for T {}