aboutsummaryrefslogtreecommitdiff
path: root/internal/lsp/testdata/godef/infer_generics/inferred.go
blob: 2d92a9590836bb4b12802e227ec6544baef8abb0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
package inferred

func app[S interface{ ~[]E }, E interface{}](s S, e E) S {
	return append(s, e)
}

func _() {
	_ = app[[]int]             //@mark(constrInfer, "app"),hoverdef("app", constrInfer)
	_ = app[[]int, int]        //@mark(instance, "app"),hoverdef("app", instance)
	_ = app[[]int]([]int{}, 0) //@mark(partialInfer, "app"),hoverdef("app", partialInfer)
	_ = app([]int{}, 0)        //@mark(argInfer, "app"),hoverdef("app", argInfer)
}