Define types for AsyncIOWrapper and trio.Path

.coveragerc

@@ -21,6 +21,7 @@ exclude_lines =
   abc.abstractmethod
   if TYPE_CHECKING:
   if _t.TYPE_CHECKING:
+  @overload
 
 partial_branches =
   pragma: no branch

docs/source/conf.py

@@ -63,6 +63,8 @@
     ("py:obj", "trio._abc.T"),
     ("py:obj", "trio._abc.T_resource"),
     ("py:class", "types.FrameType"),
+    ("py:class", "P.args"),
+    ("py:class", "P.kwargs"),
     # TODO: figure out if you can link this to SSL
     ("py:class", "Context"),
     # TODO: temporary type

docs/source/reference-io.rst

@@ -637,9 +637,11 @@ Asynchronous path objects
 Asynchronous file objects
 ~~~~~~~~~~~~~~~~~~~~~~~~~
 
-.. autofunction:: open_file
+.. Suppress type annotations here, they refer to lots of internal types.
+   The normal Python docs go into better detail.
+.. autofunction:: open_file(file, mode='r', buffering=-1, encoding=None, errors=None, newline=None, closefd=None, opener=None)
 
-.. autofunction:: wrap_file
+.. autofunction:: wrap_file(file)
 
 .. interface:: Asynchronous file interface
 

pyproject.toml

@@ -46,6 +46,12 @@ disallow_untyped_defs = false
 
 # DO NOT use `ignore_errors`; it doesn't apply
 # downstream and users have to deal with them.
+[[tool.mypy.overrides]]
+module = [
+    "trio._path",
+    "trio._file_io",
+]
+disallow_untyped_defs = true
 
 [[tool.mypy.overrides]]
 module = [