Expand description
InstanceScope<'i> — invariant-lifetime-branded handle to an instance.
GhostCell pattern (A19): the lifetime 'i is the type-level brand
preventing Effect<Authorized, 'i> of one instance from being passed
to another instance’s dispatcher. Production scopes are issued by an
HRTB-bounded Kernel::with_instance<F>(F: for<'i> ...) (reserved
/ deferred); this module provides the type shape used today via the
skeleton constructor below.
Structs§
- Instance
Scope - Invariant-lifetime-branded handle to an instance (GhostCell pattern,
A19). The lifetime
'iprevents anEffect<Authorized, 'i>of one instance from being passed to another instance’s dispatcher — the mismatch fails lifetime unification at compile time.