[ARC] ICE with static objects

[ghost]

This code causes the compiler to crash with gc:arc. Found in https://github.com/nitely/nim-regex

Example

type
  MyType = object
    a: seq[int]

proc re(x: static[string]): static MyType = 
  MyType()

proc match(inp: string, rg: static MyType) = 
  doAssert rg.a.len == 0

match("ac", re"a(b|c)")

Current Output

/home/dian/.nim/compiler/nim.nim(104) nim
/home/dian/.nim/compiler/nim.nim(81) handleCmdLine
/home/dian/.nim/compiler/cmdlinehelper.nim(91) loadConfigsAndRunMainCommand
/home/dian/.nim/compiler/main.nim(196) mainCommand
/home/dian/.nim/compiler/main.nim(98) commandCompileToC
/home/dian/.nim/compiler/modules.nim(143) compileProject
/home/dian/.nim/compiler/modules.nim(84) compileModule
/home/dian/.nim/compiler/passes.nim(210) processModule
/home/dian/.nim/compiler/passes.nim(86) processTopLevelStmt
/home/dian/.nim/compiler/cgen.nim(1917) myProcess
/home/dian/.nim/compiler/cgen.nim(968) genProcBody
/home/dian/.nim/compiler/ccgstmts.nim(1561) genStmts
/home/dian/.nim/compiler/ccgexprs.nim(2666) expr
/home/dian/.nim/compiler/ccgexprs.nim(2452) genStmtList
/home/dian/.nim/compiler/ccgstmts.nim(1561) genStmts
/home/dian/.nim/compiler/ccgexprs.nim(2713) expr
/home/dian/.nim/compiler/ccgstmts.nim(1272) genTryGoto
/home/dian/.nim/compiler/ccgstmts.nim(1561) genStmts
/home/dian/.nim/compiler/ccgexprs.nim(2666) expr
/home/dian/.nim/compiler/ccgexprs.nim(2452) genStmtList
/home/dian/.nim/compiler/ccgstmts.nim(1561) genStmts
/home/dian/.nim/compiler/ccgexprs.nim(2630) expr
/home/dian/.nim/compiler/ccgcalls.nim(627) genCall
/home/dian/.nim/compiler/ccgcalls.nim(250) genPrefixCall
/home/dian/.nim/compiler/cgen.nim(596) initLocExpr
/home/dian/.nim/compiler/ccgexprs.nim(2562) expr
/home/dian/.nim/compiler/cgen.nim(1215) genProc
/home/dian/.nim/compiler/cgen.nim(1158) genProcNoForward
/home/dian/.nim/compiler/cgen.nim(1024) genProcAux
/home/dian/.nim/compiler/cgen.nim(968) genProcBody
/home/dian/.nim/compiler/ccgstmts.nim(1561) genStmts
/home/dian/.nim/compiler/ccgexprs.nim(2666) expr
/home/dian/.nim/compiler/ccgexprs.nim(2441) genStmtList
/home/dian/.nim/compiler/ccgstmts.nim(1561) genStmts
/home/dian/.nim/compiler/ccgexprs.nim(2630) expr
/home/dian/.nim/compiler/ccgcalls.nim(627) genCall
/home/dian/.nim/compiler/ccgcalls.nim(237) genPrefixCall
/home/dian/.nim/compiler/ccgcalls.nim(220) genArg
/home/dian/.nim/compiler/cgen.nim(609) initLocExprSingleUse
/home/dian/.nim/compiler/ccgexprs.nim(2659) expr
/home/dian/.nim/compiler/ccgexprs.nim(743) genAddr
/home/dian/.nim/compiler/cgen.nim(596) initLocExpr
/home/dian/.nim/compiler/ccgexprs.nim(2662) expr
/home/dian/.nim/compiler/ccgexprs.nim(800) genRecordField
/home/dian/.nim/compiler/ccgexprs.nim(777) lookupFieldAgain
/home/dian/.nim/lib/system/assertions.nim(29) failedAssertImpl
/home/dian/.nim/lib/system/assertions.nim(22) raiseAssert
/home/dian/.nim/lib/system/fatal.nim(49) sysFatal
Error: unhandled exception: /home/dian/.nim/compiler/ccgexprs.nim(777, 11) `ty.kind in {tyTuple, tyObject}`  [AssertionDefect]

$ nim -v
Nim Compiler Version 1.3.1 [Linux: amd64]
Compiled at 2020-05-05
Copyright (c) 2006-2020 by Andreas Rumpf

git hash: e86a6d24d5ffe43e9dc7f230b80c274167376225
active boot switches: -d:release

[ghost]

The lookupFieldAgain proc gets this type for some reason:

static[MyType]((a: []))

[cooldome]

I will have a look. Very useful testing @Yardanico, thank you.