From ece1a3e525a2970873c9522035a83eade65f4604 Mon Sep 17 00:00:00 2001
From: Jia Chen <grievejia@users.noreply.github.com>
Date: Tue, 2 Feb 2021 11:43:21 -0800
Subject: [PATCH] Remove `pyre-extensions` (#5001)

---
 stubs/pyre-extensions/METADATA.toml       | 2 --
 stubs/pyre-extensions/pyre_extensions.pyi | 7 -------
 2 files changed, 9 deletions(-)
 delete mode 100644 stubs/pyre-extensions/METADATA.toml
 delete mode 100644 stubs/pyre-extensions/pyre_extensions.pyi

diff --git a/stubs/pyre-extensions/METADATA.toml b/stubs/pyre-extensions/METADATA.toml
deleted file mode 100644
index 31f638bf3..000000000
--- a/stubs/pyre-extensions/METADATA.toml
+++ /dev/null
@@ -1,2 +0,0 @@
-version = "0.1"
-python2 = true
diff --git a/stubs/pyre-extensions/pyre_extensions.pyi b/stubs/pyre-extensions/pyre_extensions.pyi
deleted file mode 100644
index 742b88013..000000000
--- a/stubs/pyre-extensions/pyre_extensions.pyi
+++ /dev/null
@@ -1,7 +0,0 @@
-from typing import Any, List, Optional, Type, TypeVar
-
-_T = TypeVar("_T")
-
-def none_throws(optional: Optional[_T], message: str = ...) -> _T: ...
-def safe_cast(new_type: Type[_T], value: Any) -> _T: ...
-def ParameterSpecification(__name: str) -> List[Type[Any]]: ...