From adbc67664b98c2c5473a61b26019c86d8304dd46 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 26 Sep 2023 09:39:41 +0200
Subject: [PATCH] remove StructuralEq trait

---
 example/mini_core.rs | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/example/mini_core.rs b/example/mini_core.rs
index 3607b7cd944..a79909ce0c8 100644
--- a/example/mini_core.rs
+++ b/example/mini_core.rs
@@ -104,9 +104,6 @@ unsafe impl<T: ?Sized> Freeze for &mut T {}
 #[lang = "structural_peq"]
 pub trait StructuralPartialEq {}
 
-#[lang = "structural_teq"]
-pub trait StructuralEq {}
-
 #[lang = "not"]
 pub trait Not {
     type Output;