| //go:build go1.18 |
| // +build go1.18 |
| |
| package typeparams |
| |
| func one[a int | string]() {} |
| func two[a int | string, b float64 | int]() {} |
| |
| func _() { |
| one[]() //@rank("]", string, float64) |
| two[]() //@rank("]", int, float64) |
| two[int, f]() //@rank("]", float64, float32) |
| } |
| |
| func slices[a []int | []float64]() {} //@item(tpInts, "[]int", "[]int", "type"),item(tpFloats, "[]float64", "[]float64", "type") |
| |
| func _() { |
| slices[]() //@rank("]", tpInts),rank("]", tpFloats) |
| } |
| |
| type s[a int | string] struct{} |
| |
| func _() { |
| s[]{} //@rank("]", int, float64) |
| } |
| |
| func returnTP[A int | float64](a A) A { //@item(returnTP, "returnTP", "something", "func") |
| return a |
| } |
| |
| func _() { |
| var _ int = returnTP //@snippet(" //", returnTP, "returnTP[${1:}](${2:})", "returnTP[${1:A int|float64}](${2:a A})") |
| |
| var aa int //@item(tpInt, "aa", "int", "var") |
| var ab string //@item(tpString, "ab", "string", "var") |
| returnTP[int](a) //@rank(")", tpInt, tpString) |
| } |
