From a01445d0dadb93278169fd49b4afd1db5d1d423e Mon Sep 17 00:00:00 2001
From: Berkus Decker <berkus+github@metta.systems>
Date: Thu, 3 Dec 2020 02:33:08 +0200
Subject: [PATCH] [wip] ponder at gats

---
 nucleus/src/arch/aarch64/objects.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/nucleus/src/arch/aarch64/objects.rs b/nucleus/src/arch/aarch64/objects.rs
index e3f4f43..a7d96d9 100644
--- a/nucleus/src/arch/aarch64/objects.rs
+++ b/nucleus/src/arch/aarch64/objects.rs
@@ -67,6 +67,9 @@ trait Untyped {
     fn retype<T: NucleusObject>(target_cap: CapNodeRootedPath, target_cap_offset: usize, num_objects: usize) -> Result<CapSlice>; // @todo return an array of caps?
 }
 
+// with GATs
+// trait Retyped { type Result = CapTable::<T> .. }
+
 // MMU
 
 // ActivePageTable (--> impl VirtSpace for ActivePageTable etc...)