From 33d8f35b0c1162207fc22d32fb50c35b4999b881 Mon Sep 17 00:00:00 2001
From: Aron Zwaan <aronzwaan@gmail.com>
Date: Thu, 13 Jun 2024 15:37:28 +0200
Subject: [PATCH] Better align permissions

---
 scopegraphs/src/completeness/mod.rs | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/scopegraphs/src/completeness/mod.rs b/scopegraphs/src/completeness/mod.rs
index 519e4b2..a478b72 100644
--- a/scopegraphs/src/completeness/mod.rs
+++ b/scopegraphs/src/completeness/mod.rs
@@ -130,11 +130,11 @@ struct ScopeExtPermInner<
     CMPL: UserClosed<LABEL, DATA>, // Bound required for Drop implementation
 > {
     /// Scope for which this object witnesses the permission to extend.
-    pub(super) scope: Scope,
+    scope: Scope,
     /// Label with which [scope] may be extended
-    pub(super) label: LABEL,
+    label: LABEL,
     /// Scope graph in which the scope may be extended.
-    pub(super) sg: &'ext CMPL,
+    sg: &'ext CMPL,
     _data: PhantomData<DATA>, // FIXME: required for using `where CMPL: UserClosed<LABEL, DATA>` in impl blocks. Can it be removed some way?
 }
 
@@ -171,11 +171,11 @@ impl<'ext, LABEL: Hash + Label + Debug, DATA, CMPL: UserClosed<LABEL, DATA>>
 where
     CMPL: UserClosed<LABEL, DATA>,
 {
-    pub(crate) fn scope(&self) -> &Scope {
+    pub(super) fn scope(&self) -> &Scope {
         &self.0.scope
     }
 
-    pub(crate) fn label(&self) -> &LABEL {
+    pub(super) fn label(&self) -> &LABEL {
         &self.0.label
     }