From 71fe1d01f3c00815584f6c95a1e27d0937c6606e Mon Sep 17 00:00:00 2001
From: wackbyte <wackbyte@pm.me>
Date: Thu, 6 Apr 2023 00:50:21 -0400
Subject: [PATCH] Make `Id::sym` and `Id::trans` into `const fn`s

---
 src/lib.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/lib.rs b/src/lib.rs
index 6e13ac8..13274f1 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -180,11 +180,11 @@ impl<S: ?Sized, T: ?Sized> Id<S, T> {
     }
 
     /// Converts `Id<S, T>` into `Id<T, S>` since type equality is symmetric.
-    pub fn sym(self) -> Id<T, S> { Id(PhantomData) }
+    pub const fn sym(self) -> Id<T, S> { Id(PhantomData) }
 
     /// If you have proofs `Id<S, T>` and `Id<T, U>` you can conclude `Id<S, U>`
     /// since type equality is transitive.
-    pub fn trans<U: ?Sized>(self, _: Id<T, U>) -> Id<S, U> { Id(PhantomData) }
+    pub const fn trans<U: ?Sized>(self, _: Id<T, U>) -> Id<S, U> { Id(PhantomData) }
 
     /// Casts a value of type `&S` to `&T` where `S == T`.
     ///