not needed anymore

This commit is contained in:
Douglas Creager 2025-12-12 13:04:33 -05:00
parent e476624ef2
commit 690310cea3
2 changed files with 4 additions and 4 deletions

View File

@ -549,10 +549,10 @@ T = TypeVar("T")
def invoke(fn: Callable[[A], B], value: A) -> B:
return fn(value)
def identity(x: T, /) -> T:
def identity(x: T) -> T:
return x
def head(xs: list[T], /) -> T:
def head(xs: list[T]) -> T:
return xs[0]
reveal_type(invoke(identity, 1)) # revealed: Literal[1]

View File

@ -487,10 +487,10 @@ from typing import Callable
def invoke[A, B](fn: Callable[[A], B], value: A) -> B:
return fn(value)
def identity[T](x: T, /) -> T:
def identity[T](x: T) -> T:
return x
def head[T](xs: list[T], /) -> T:
def head[T](xs: list[T]) -> T:
return xs[0]
reveal_type(invoke(identity, 1)) # revealed: Literal[1]