Revert "fix #15623 (#16009)"

This reverts commit 0f7f159a35.
2020-11-17 18:54:14 +00:00 · 2020-11-17 18:54:14 +00:00 · 1663ad77e3
commit 1663ad77e3
parent 0f7f159a35
4 changed files with 2 additions and 26 deletions
--- a/tests/ccgbugs/t15623.nim
+++ b/tests/ccgbugs/t15623.nim
@ -1,11 +0,0 @@
-discard """
-  action: "compile"
-"""
-
-# bug #15623
-block:
-  echo cast[ptr int](nil)[]
-
-block:
-  var x: ref int = nil
-  echo cast[ptr int](x)[]
--- a/tests/ccgbugs/t15623_2.nim
+++ b/tests/ccgbugs/t15623_2.nim
@ -1,13 +0,0 @@
-discard """
-  output: '''0
-0
-'''
-"""
-
-# bug #15623
-block:
-  echo cast[int](cast[ptr int](nil))
-
-block:
-  var x: ref int = nil
-  echo cast[int](cast[ptr int](x))