From b5547d4e2a365a297a57229a3d93ba10f9b98efa Mon Sep 17 00:00:00 2001
From: Byron <byron@lambdal.com>
Date: Mon, 20 Nov 2023 08:49:19 +1100
Subject: [PATCH] Fix `drop_first` method name for typing

https://github.com/crate-py/rpds/commit/bf1a74da6cdb8d97cb41cd37557d3cfbb31dbac6
added suport for "drop_front" but internally named this method "drop_first".

Since the test code uses "drop_first", and to prevent creating a backwards
incompatible change, I have chosen to fix the type defintion rather than the
internal method name, even though the origin commit used "drop_front" in the
commit message.
---
 rpds.pyi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rpds.pyi b/rpds.pyi
index 4c01da3..b9b6555 100644
--- a/rpds.pyi
+++ b/rpds.pyi
@@ -49,4 +49,4 @@ class List(Iterable[T]):
     def __iter__(self) -> Iterator[T]: ...
     def __len__(self) -> int: ...
     def push_front(self, value: T) -> "List[T]": ...
-    def drop_front(self) -> "List[T]": ...
+    def drop_first(self) -> "List[T]": ...