Summary

def f[T: int](t: T) -> T:
    return t

x = [f]

here x is shown as list[Unknown | ((t: T@f) -> T@f)]

excusing the Unknown, i would expect the type parameters to be included
[T: int](t: T) -> T

Version

0b60584b7

connected with: #1225