From 7d9205d4ae0fdac2b56b29bc0b7e78f5f2a1e832 Mon Sep 17 00:00:00 2001
From: Peter Law <PeterJCLaw@gmail.com>
Date: Fri, 24 Jul 2020 15:04:37 +0100
Subject: [PATCH] This is actually optional

---
 jedi/inference/value/module.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jedi/inference/value/module.py b/jedi/inference/value/module.py
index 4de1e621..7ab4c298 100644
--- a/jedi/inference/value/module.py
+++ b/jedi/inference/value/module.py
@@ -165,7 +165,7 @@ class ModuleValue(ModuleMixin, TreeValue):
             return None
         return '.'.join(self.string_names)
 
-    def py__file__(self) -> Path:
+    def py__file__(self) -> Optional[Path]:
         """
         In contrast to Python's __file__ can be None.
         """