compiler: add support for type parameters (aka generics)

...that was surprisingly easy.

1 files changed, 14 insertions, 0 deletions

diff --git a/testdata/generics.go b/testdata/generics.go
new file mode 100644
index 000000000..9f1a19708
--- /dev/null
+++ b/testdata/generics.go
@@ -0,0 +1,14 @@
+package main
+
+func main() {
+	println("add:", Add(3, 5))
+	println("add:", Add(int8(3), 5))
+}
+
+type Integer interface {
+	int | int8 | int16 | int32 | int64
+}
+
+func Add[T Integer](a, b T) T {
+	return a + b
+}