restore the T1-T9 types and clarify how generic concepts work

1 files changed, 11 insertions, 0 deletions

diff --git a/lib/system.nim b/lib/system.nim
index 94e10d7df..0e777b707 100644
--- a/lib/system.nim
+++ b/lib/system.nim
@@ -98,6 +98,17 @@ type
   SomeNumber* = SomeInteger|SomeReal
     ## type class matching all number types
 
+  T1* = auto
+  T2* = auto
+  T3* = auto
+  T4* = auto
+  T5* = auto
+  T6* = auto
+  T7* = auto
+  T8* = auto
+  T9* = auto
+    ## Helper types for writing implicitly generic procs
+
 proc defined*(x: untyped): bool {.magic: "Defined", noSideEffect, compileTime.}
   ## Special compile-time procedure that checks whether `x` is
   ## defined.