### Proposal Details Support partial type inference for cases where some type params can't be inferred, for instance: ```go Foo[,U](5) // in place of Foo[int, U](5) func Foo[T any, U any](t T) { ... } ```