From 0edcafad2a6015916662ad78be9d49a74da6c468 Mon Sep 17 00:00:00 2001
From: timofey <tim@ongoteam.yaconnect.com>
Date: Sat, 1 Jul 2023 14:08:57 +0000
Subject: [PATCH] `Demoted`

---
 src/rcore.rs         | 2 ++
 src/rcore/demoted.rs | 3 +++
 2 files changed, 5 insertions(+)
 create mode 100644 src/rcore/demoted.rs

diff --git a/src/rcore.rs b/src/rcore.rs
index 0417ddd..33c0f89 100644
--- a/src/rcore.rs
+++ b/src/rcore.rs
@@ -5,6 +5,7 @@
 mod addresses;
 mod context;
 mod dectx;
+mod demoted;
 mod diagnostic;
 mod hashing;
 mod inctx;
@@ -25,6 +26,7 @@ use crate::func::*;
 use self::addresses::{Addresses, InliningAddresses};
 pub use self::context::Context;
 use self::dectx::{DeCtx, DeCtxT};
+pub use self::demoted::Demoted;
 pub use self::diagnostic::Diagnostic;
 pub use self::hashing::{Hash, HASH_SIZE, HASH_ZEROS};
 pub use self::inctx::InCtx;
diff --git a/src/rcore/demoted.rs b/src/rcore/demoted.rs
new file mode 100644
index 0000000..2d80e7e
--- /dev/null
+++ b/src/rcore/demoted.rs
@@ -0,0 +1,3 @@
+use super::*;
+
+pub struct Demoted<'a: 'c, 'c, Ctx: Context<'a>>(pub(super) &'c mut dyn DeCtx<'a, Ctx>);