Skip to content

Instantly share code, notes, and snippets.

@mypy-play

mypy-play/main.py

Created March 10, 2026 02:24
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save mypy-play/a5d29a836f3f77c52de5db97d2161585 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save mypy-play/a5d29a836f3f77c52de5db97d2161585 to your computer and use it in GitHub Desktop.
Download ZIP
Shared via mypy Playground
Raw
main.py
from typing import Concatenate, Callable
def foo[**P](fn: Callable[P, None], x: int, *args: P.args, **kwargs: P.kwargs) -> None: ...
def test(a: str) -> None: ...
foo(fn=test, x=1, a="")
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment