ability to explicitly specify generics in function calls / reified generics for functions

[DetachHead]

i swear i raised this before but cant find it

def foo(value: T): ...

foo[int](1)

[KotlinIsland]

Could be tricky, here are a couple options

@Generic[T]
def foo(t: T): ...

def bar(t: T):...

bar(1) # type: bar[object](...)

generic_function(bar)[object](1)

Some of these could be used to reify the generic.

Or just

foo(1 as object)

[KotlinIsland]

This might look confusing, but I can't think of another way to get the type vars into the function

@Generic[T]
def foo(T, a: T):  # no need to annotate as mypy can infer it
    print(T)  # <class 'int'>
    print(a)  # False

foo[int](False)

Some questions that remain:

• Would it be safe to infer at runtime?

  foo(1) # infer and pass int?

• Why not just pass the type[T] without this wrapper?

  def foo(T, t: T): ...  # still infer it 😁
  foo(int, 1)

[KotlinIsland]

Duplicate-of KotlinIsland/basedtyping#86