proposal: Allow type inference from return signature

[falco467]

Proposal Details

Take the following example. I think the compiler should be able to infer T=string.

func generic[T any]() (t T) {
	return
}

func hello() string {
	return generic() // Currently Error: Cannot infer T
}

Other languages like TypeScript and Java will infer the type-argument by the return signature.

[gabyhelp]

Related Issues

• hope go generics in 1.18(or later) support return type inference #49520 (closed)

_{(Emoji vote if this was helpful or unhelpful; more detailed feedback welcome in this discussion.)}