From 5818b9ff8dcc8a48bdbd07ba631b4e150f81831b Mon Sep 17 00:00:00 2001
From: Carl Friedrich Bolz-Tereick <cfbolz@gmx.de>
Date: Tue, 29 Dec 2020 21:22:24 +0100
Subject: store everything erased

---
 rpython/rlib/rerased.py | 1 +
 1 file changed, 1 insertion(+)

(limited to 'rpython')

diff --git a/rpython/rlib/rerased.py b/rpython/rlib/rerased.py
index 66666505bd..b27dc3c8ff 100644
--- a/rpython/rlib/rerased.py
+++ b/rpython/rlib/rerased.py
@@ -81,6 +81,7 @@ def new_erasing_pair(name):
     identity = ErasingPairIdentity(name)
 
     def erase(x):
+        assert not isinstance(x, Erased)
         return Erased(x, identity)
 
     def unerase(y):
-- 
cgit v1.2.3-65-gdbad