From: Bennet Bleßmann <bb-github@t-online.de>
Date: Sun, 11 Aug 2024 17:18:35 +0000 (+0200)
Subject: add detail to comment
X-Git-Tag: v0.10.0~118^2~2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=775b14c53797392f89db9f7f2530c38da113d9e6;p=scryer-prolog.git

add detail to comment
---

diff --git a/src/arena.rs b/src/arena.rs
index 6acb279b..3d1293a6 100644
--- a/src/arena.rs
+++ b/src/arena.rs
@@ -371,7 +371,8 @@ impl<P, T: ArenaAllocated<Payload = P>> AllocateInArena<T> for P {
     }
 }
 
-/* apparently this overlaps the planket impl above somehow
+/* this isn't allowed due to https://github.com/rust-lang/rust/issues/20400 I think,
+   though P == ManuallyDrop<P> might also be a problem event though that shouldn't be possible
 impl<P, T: ArenaAllocated<Payload = ManuallyDrop<P>>> AllocateInArena<T> for P {
     fn arena_allocate(self, arena: &mut Arena) -> TypedArenaPtr<T> {
         T::alloc(arena, ManuallyDrop::new(self))