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

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

(limited to 'example')

diff --git a/example/mini_core.rs b/example/mini_core.rs
index db94bc1c86a..230009741dc 100644
--- a/example/mini_core.rs
+++ b/example/mini_core.rs
@@ -100,9 +100,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;
-- 
cgit 1.4.1-3-g733a5