diff --git a/tests/async/tasync_misc.nim b/tests/async/tasync_misc.nim
index 29e6faa72737..ec1418e8c35d 100644
--- a/tests/async/tasync_misc.nim
+++ b/tests/async/tasync_misc.nim
@@ -74,3 +74,10 @@ block: # issue #13899
       result = true
   doAssert waitFor testFooSucceed()
   doAssert waitFor testFooFails()
+
+block: # issue #9313
+  doAssert compiles(block:
+    proc a() {.async.} =
+      echo "Hi"
+      quit(0)
+  )
diff --git a/tests/generics/tgenerics_issues.nim b/tests/generics/tgenerics_issues.nim
index af71a89380f0..54360f178d4b 100644
--- a/tests/generics/tgenerics_issues.nim
+++ b/tests/generics/tgenerics_issues.nim
@@ -762,3 +762,21 @@ block t3717:
 
   var f: Foo[Foo[int]]
   discard foo(f)
+
+
+
+block: # issue #9458
+  type
+    Option[T] = object
+      val: T
+      has: bool
+    
+    Bar = object
+
+  proc none(T: typedesc): Option[T] =
+    discard
+
+  proc foo[T](self: T; x: Option[Bar] = Bar.none) = 
+    discard
+
+  foo(1)
diff --git a/tests/metatype/ttypedesc1.nim b/tests/metatype/ttypedesc1.nim
index 837c8eccca7f..549dbc62af1d 100644
--- a/tests/metatype/ttypedesc1.nim
+++ b/tests/metatype/ttypedesc1.nim
@@ -60,3 +60,9 @@ reject:
 reject:
   foo seq[int], ss
 
+# issue #12398
+reject:
+  let xs = [int, float, string]
+
+reject:
+  let data = @[int, typedesc]
diff --git a/tests/misc/tints.nim b/tests/misc/tints.nim
index fa3eb42cba23..d24cbd4aca28 100644
--- a/tests/misc/tints.nim
+++ b/tests/misc/tints.nim
@@ -77,5 +77,9 @@ block: # Casts to uint
 
   testCast(-5'i32, uint8, 251'u8)
 
+# issue #7174
+let c = 1'u
+let val = c > 0
+doAssert val 
 
 echo("Success") #OUT Success