Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Error: 's' has unspecified generic parameters with generics and template #21347

Closed
tersec opened this issue Feb 10, 2023 · 3 comments · Fixed by #23917
Closed

Error: 's' has unspecified generic parameters with generics and template #21347

tersec opened this issue Feb 10, 2023 · 3 comments · Fixed by #23917
Labels
works_but_needs_test_case

Comments

@tersec
Copy link
Contributor

tersec commented Feb 10, 2023

Description

type K[T] = object
template s[T]() = discard
proc b1(n: bool | bool) = s[K[K[int]]]()
proc b2(n: bool) =        s[K[K[int]]]()
b1(false)   # Error: 's' has unspecified generic parameters
b2(false)   # Builds, on its own

Nim Version

Released stable version:

Nim Compiler Version 1.6.10 [Linux: amd64]
Compiled at 2022-11-23
Copyright (c) 2006-2021 by Andreas Rumpf

active boot switches: -d:release

From version-1-6:

Nim Compiler Version 1.6.11 [Linux: amd64]
Compiled at 2023-02-09
Copyright (c) 2006-2021 by Andreas Rumpf

git hash: 7f90bcf5b4cbe5b7da534dd79bafbb4cafb313fa
active boot switches: -d:release

devel:

Nim Compiler Version 1.9.1 [Linux: amd64]
Compiled at 2023-02-09
Copyright (c) 2006-2023 by Andreas Rumpf

git hash: 642136ec4f2cd93cdd753bf16fa4aec89b8fee82
active boot switches: -d:release

version-2-0:

Nim Compiler Version 1.9.1 [Linux: amd64]
Compiled at 2023-02-09
Copyright (c) 2006-2022 by Andreas Rumpf

git hash: 414f36980f17ee80a48b2f38e035b7e94f2112bd
active boot switches: -d:release

Current Output

/tmp/repro.nim(3, 27) Error: 's' has unspecified generic parameters

Expected Output

Successful build, or at least consistency between generic b1 and non-generic b2 procs both taking same types.

Possible Solution

No response

Additional Information

Related to, but potentially distinct from, #21346
@juancarlospaco
Copy link
Collaborator

!nim c

type K[T] = object
template s[T]() = discard
proc b1(n: bool | bool) = s[K[K[int]]]()
proc b2(n: bool) = s[K[K[int]]]()
b1(false)
b2(false)

@github-actions
Copy link
Contributor

github-actions bot commented Jul 9, 2023

@juancarlospaco (contributor)

devel :-1: FAIL

Output

Error: Command failed: nim c --run -d:strip -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --threads:off --verbosity:0 --hints:off --warnings:off --lineTrace:off  --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim
/home/runner/work/Nim/Nim/temp.nim(5, 3) template/generic instantiation of `b1` from here
/home/runner/work/Nim/Nim/temp.nim(3, 30) Error: cannot instantiate K [type declared in /home/runner/work/Nim/Nim/temp.nim(1, 6)]
got: <T>
but expected: <T>

Stats

  • Created 2023-07-09T15:18:20Z
  • Started 2023-07-09T15:18:51
  • Finished 2023-07-09T15:18:52
  • Duration now
  • Commands nim c --run -d:strip -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --threads:off --verbosity:0 --hints:off --warnings:off --lineTrace:off --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim

IR



AST


nnkStmtList.newTree(
  nnkTypeSection.newTree(
    nnkTypeDef.newTree(
      newIdentNode("K"),
      nnkGenericParams.newTree(
        nnkIdentDefs.newTree(
          newIdentNode("T"),
          newEmptyNode(),
          newEmptyNode()
        )
      ),
      nnkObjectTy.newTree(
        newEmptyNode(),
        newEmptyNode(),
        newEmptyNode()
      )
    )
  ),
  nnkTemplateDef.newTree(
    newIdentNode("s"),
    newEmptyNode(),
    nnkGenericParams.newTree(
      nnkIdentDefs.newTree(
        newIdentNode("T"),
        newEmptyNode(),
        newEmptyNode()
      )
    ),
    nnkFormalParams.newTree(
      newEmptyNode()
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkDiscardStmt.newTree(
        newEmptyNode()
      )
    )
  ),
  nnkProcDef.newTree(
    newIdentNode("b1"),
    newEmptyNode(),
    newEmptyNode(),
    nnkFormalParams.newTree(
      newEmptyNode(),
      nnkIdentDefs.newTree(
        newIdentNode("n"),
        nnkInfix.newTree(
          newIdentNode("|"),
          newIdentNode("bool"),
          newIdentNode("bool")
        ),
        newEmptyNode()
      )
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkCall.newTree(
        nnkBracketExpr.newTree(
          newIdentNode("s"),
          nnkBracketExpr.newTree(
            newIdentNode("K"),
            nnkBracketExpr.newTree(
              newIdentNode("K"),
              newIdentNode("int")
            )
          )
        )
      )
    )
  ),
  nnkProcDef.newTree(
    newIdentNode("b2"),
    newEmptyNode(),
    newEmptyNode(),
    nnkFormalParams.newTree(
      newEmptyNode(),
      nnkIdentDefs.newTree(
        newIdentNode("n"),
        newIdentNode("bool"),
        newEmptyNode()
      )
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkCall.newTree(
        nnkBracketExpr.newTree(
          newIdentNode("s"),
          nnkBracketExpr.newTree(
            newIdentNode("K"),
            nnkBracketExpr.newTree(
              newIdentNode("K"),
              newIdentNode("int")
            )
          )
        )
      )
    )
  ),
  nnkCall.newTree(
    newIdentNode("b1"),
    newIdentNode("false")
  ),
  nnkCall.newTree(
    newIdentNode("b2"),
    newIdentNode("false")
  )
)




stable		:-1: FAIL
Output


Error: Command failed: nim c --run -d:strip -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --threads:off --verbosity:0 --hints:off --warnings:off --lineTrace:off  --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim
/home/runner/work/Nim/Nim/temp.nim(3, 27) Error: 's' has unspecified generic parameters




Stats
    

  • Created	2023-07-09T15:18:20Z

  • Started	2023-07-09T15:18:52

  • Finished	2023-07-09T15:18:53

  • Duration	now

  • Commands	nim c --run -d:strip -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --threads:off --verbosity:0 --hints:off --warnings:off --lineTrace:off  --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim


IR




AST


nnkStmtList.newTree(
  nnkTypeSection.newTree(
    nnkTypeDef.newTree(
      newIdentNode("K"),
      nnkGenericParams.newTree(
        nnkIdentDefs.newTree(
          newIdentNode("T"),
          newEmptyNode(),
          newEmptyNode()
        )
      ),
      nnkObjectTy.newTree(
        newEmptyNode(),
        newEmptyNode(),
        newEmptyNode()
      )
    )
  ),
  nnkTemplateDef.newTree(
    newIdentNode("s"),
    newEmptyNode(),
    nnkGenericParams.newTree(
      nnkIdentDefs.newTree(
        newIdentNode("T"),
        newEmptyNode(),
        newEmptyNode()
      )
    ),
    nnkFormalParams.newTree(
      newEmptyNode()
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkDiscardStmt.newTree(
        newEmptyNode()
      )
    )
  ),
  nnkProcDef.newTree(
    newIdentNode("b1"),
    newEmptyNode(),
    newEmptyNode(),
    nnkFormalParams.newTree(
      newEmptyNode(),
      nnkIdentDefs.newTree(
        newIdentNode("n"),
        nnkInfix.newTree(
          newIdentNode("|"),
          newIdentNode("bool"),
          newIdentNode("bool")
        ),
        newEmptyNode()
      )
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkCall.newTree(
        nnkBracketExpr.newTree(
          newIdentNode("s"),
          nnkBracketExpr.newTree(
            newIdentNode("K"),
            nnkBracketExpr.newTree(
              newIdentNode("K"),
              newIdentNode("int")
            )
          )
        )
      )
    )
  ),
  nnkProcDef.newTree(
    newIdentNode("b2"),
    newEmptyNode(),
    newEmptyNode(),
    nnkFormalParams.newTree(
      newEmptyNode(),
      nnkIdentDefs.newTree(
        newIdentNode("n"),
        newIdentNode("bool"),
        newEmptyNode()
      )
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkCall.newTree(
        nnkBracketExpr.newTree(
          newIdentNode("s"),
          nnkBracketExpr.newTree(
            newIdentNode("K"),
            nnkBracketExpr.newTree(
              newIdentNode("K"),
              newIdentNode("int")
            )
          )
        )
      )
    )
  ),
  nnkCall.newTree(
    newIdentNode("b1"),
    newIdentNode("false")
  ),
  nnkCall.newTree(
    newIdentNode("b2"),
    newIdentNode("false")
  )
)




1.6.0		:-1: FAIL
Output


Error: Command failed: nim c --run -d:strip -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --threads:off --verbosity:0 --hints:off --warnings:off --lineTrace:off  --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim
/home/runner/work/Nim/Nim/temp.nim(3, 27) Error: 's' has unspecified generic parameters




Stats
    

  • Created	2023-07-09T15:18:20Z

  • Started	2023-07-09T15:18:56

  • Finished	2023-07-09T15:18:56

  • Duration	now

  • Commands	nim c --run -d:strip -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --threads:off --verbosity:0 --hints:off --warnings:off --lineTrace:off  --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim


IR




AST


nnkStmtList.newTree(
  nnkTypeSection.newTree(
    nnkTypeDef.newTree(
      newIdentNode("K"),
      nnkGenericParams.newTree(
        nnkIdentDefs.newTree(
          newIdentNode("T"),
          newEmptyNode(),
          newEmptyNode()
        )
      ),
      nnkObjectTy.newTree(
        newEmptyNode(),
        newEmptyNode(),
        newEmptyNode()
      )
    )
  ),
  nnkTemplateDef.newTree(
    newIdentNode("s"),
    newEmptyNode(),
    nnkGenericParams.newTree(
      nnkIdentDefs.newTree(
        newIdentNode("T"),
        newEmptyNode(),
        newEmptyNode()
      )
    ),
    nnkFormalParams.newTree(
      newEmptyNode()
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkDiscardStmt.newTree(
        newEmptyNode()
      )
    )
  ),
  nnkProcDef.newTree(
    newIdentNode("b1"),
    newEmptyNode(),
    newEmptyNode(),
    nnkFormalParams.newTree(
      newEmptyNode(),
      nnkIdentDefs.newTree(
        newIdentNode("n"),
        nnkInfix.newTree(
          newIdentNode("|"),
          newIdentNode("bool"),
          newIdentNode("bool")
        ),
        newEmptyNode()
      )
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkCall.newTree(
        nnkBracketExpr.newTree(
          newIdentNode("s"),
          nnkBracketExpr.newTree(
            newIdentNode("K"),
            nnkBracketExpr.newTree(
              newIdentNode("K"),
              newIdentNode("int")
            )
          )
        )
      )
    )
  ),
  nnkProcDef.newTree(
    newIdentNode("b2"),
    newEmptyNode(),
    newEmptyNode(),
    nnkFormalParams.newTree(
      newEmptyNode(),
      nnkIdentDefs.newTree(
        newIdentNode("n"),
        newIdentNode("bool"),
        newEmptyNode()
      )
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkCall.newTree(
        nnkBracketExpr.newTree(
          newIdentNode("s"),
          nnkBracketExpr.newTree(
            newIdentNode("K"),
            nnkBracketExpr.newTree(
              newIdentNode("K"),
              newIdentNode("int")
            )
          )
        )
      )
    )
  ),
  nnkCall.newTree(
    newIdentNode("b1"),
    newIdentNode("false")
  ),
  nnkCall.newTree(
    newIdentNode("b2"),
    newIdentNode("false")
  )
)




1.4.0		:-1: FAIL
Output


Error: Command failed: nim c --run -d:strip -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --threads:off --verbosity:0 --hints:off --warnings:off --lineTrace:off  --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim
/home/runner/work/Nim/Nim/temp.nim(3, 27) Error: 's' has unspecified generic parameters




Stats
    

  • Created	2023-07-09T15:18:20Z

  • Started	2023-07-09T15:18:59

  • Finished	2023-07-09T15:18:59

  • Duration	now

  • Commands	nim c --run -d:strip -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --threads:off --verbosity:0 --hints:off --warnings:off --lineTrace:off  --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim


IR




AST


nnkStmtList.newTree(
  nnkTypeSection.newTree(
    nnkTypeDef.newTree(
      newIdentNode("K"),
      nnkGenericParams.newTree(
        nnkIdentDefs.newTree(
          newIdentNode("T"),
          newEmptyNode(),
          newEmptyNode()
        )
      ),
      nnkObjectTy.newTree(
        newEmptyNode(),
        newEmptyNode(),
        newEmptyNode()
      )
    )
  ),
  nnkTemplateDef.newTree(
    newIdentNode("s"),
    newEmptyNode(),
    nnkGenericParams.newTree(
      nnkIdentDefs.newTree(
        newIdentNode("T"),
        newEmptyNode(),
        newEmptyNode()
      )
    ),
    nnkFormalParams.newTree(
      newEmptyNode()
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkDiscardStmt.newTree(
        newEmptyNode()
      )
    )
  ),
  nnkProcDef.newTree(
    newIdentNode("b1"),
    newEmptyNode(),
    newEmptyNode(),
    nnkFormalParams.newTree(
      newEmptyNode(),
      nnkIdentDefs.newTree(
        newIdentNode("n"),
        nnkInfix.newTree(
          newIdentNode("|"),
          newIdentNode("bool"),
          newIdentNode("bool")
        ),
        newEmptyNode()
      )
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkCall.newTree(
        nnkBracketExpr.newTree(
          newIdentNode("s"),
          nnkBracketExpr.newTree(
            newIdentNode("K"),
            nnkBracketExpr.newTree(
              newIdentNode("K"),
              newIdentNode("int")
            )
          )
        )
      )
    )
  ),
  nnkProcDef.newTree(
    newIdentNode("b2"),
    newEmptyNode(),
    newEmptyNode(),
    nnkFormalParams.newTree(
      newEmptyNode(),
      nnkIdentDefs.newTree(
        newIdentNode("n"),
        newIdentNode("bool"),
        newEmptyNode()
      )
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkCall.newTree(
        nnkBracketExpr.newTree(
          newIdentNode("s"),
          nnkBracketExpr.newTree(
            newIdentNode("K"),
            nnkBracketExpr.newTree(
              newIdentNode("K"),
              newIdentNode("int")
            )
          )
        )
      )
    )
  ),
  nnkCall.newTree(
    newIdentNode("b1"),
    newIdentNode("false")
  ),
  nnkCall.newTree(
    newIdentNode("b2"),
    newIdentNode("false")
  )
)




1.2.0		:-1: FAIL
Output


Error: Command failed: nim c --run -d:strip -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --threads:off --verbosity:0 --hints:off --warnings:off --lineTrace:off  --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim
/home/runner/work/Nim/Nim/temp.nim(3, 27) Error: 's' has unspecified generic parameters




Stats
    

  • Created	2023-07-09T15:18:20Z

  • Started	2023-07-09T15:19:15

  • Finished	2023-07-09T15:19:15

  • Duration	now

  • Commands	nim c --run -d:strip -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --threads:off --verbosity:0 --hints:off --warnings:off --lineTrace:off  --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim


IR




AST


nnkStmtList.newTree(
  nnkTypeSection.newTree(
    nnkTypeDef.newTree(
      newIdentNode("K"),
      nnkGenericParams.newTree(
        nnkIdentDefs.newTree(
          newIdentNode("T"),
          newEmptyNode(),
          newEmptyNode()
        )
      ),
      nnkObjectTy.newTree(
        newEmptyNode(),
        newEmptyNode(),
        newEmptyNode()
      )
    )
  ),
  nnkTemplateDef.newTree(
    newIdentNode("s"),
    newEmptyNode(),
    nnkGenericParams.newTree(
      nnkIdentDefs.newTree(
        newIdentNode("T"),
        newEmptyNode(),
        newEmptyNode()
      )
    ),
    nnkFormalParams.newTree(
      newEmptyNode()
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkDiscardStmt.newTree(
        newEmptyNode()
      )
    )
  ),
  nnkProcDef.newTree(
    newIdentNode("b1"),
    newEmptyNode(),
    newEmptyNode(),
    nnkFormalParams.newTree(
      newEmptyNode(),
      nnkIdentDefs.newTree(
        newIdentNode("n"),
        nnkInfix.newTree(
          newIdentNode("|"),
          newIdentNode("bool"),
          newIdentNode("bool")
        ),
        newEmptyNode()
      )
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkCall.newTree(
        nnkBracketExpr.newTree(
          newIdentNode("s"),
          nnkBracketExpr.newTree(
            newIdentNode("K"),
            nnkBracketExpr.newTree(
              newIdentNode("K"),
              newIdentNode("int")
            )
          )
        )
      )
    )
  ),
  nnkProcDef.newTree(
    newIdentNode("b2"),
    newEmptyNode(),
    newEmptyNode(),
    nnkFormalParams.newTree(
      newEmptyNode(),
      nnkIdentDefs.newTree(
        newIdentNode("n"),
        newIdentNode("bool"),
        newEmptyNode()
      )
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkCall.newTree(
        nnkBracketExpr.newTree(
          newIdentNode("s"),
          nnkBracketExpr.newTree(
            newIdentNode("K"),
            nnkBracketExpr.newTree(
              newIdentNode("K"),
              newIdentNode("int")
            )
          )
        )
      )
    )
  ),
  nnkCall.newTree(
    newIdentNode("b1"),
    newIdentNode("false")
  ),
  nnkCall.newTree(
    newIdentNode("b2"),
    newIdentNode("false")
  )
)




1.0.0		:-1: FAIL
Output


Error: Command failed: nim c --run -d:strip -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --threads:off --verbosity:0 --hints:off --warnings:off --lineTrace:off  --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim
/home/runner/work/Nim/Nim/temp.nim(3, 27) Error: 's' has unspecified generic parameters




Stats
    

  • Created	2023-07-09T15:18:20Z

  • Started	2023-07-09T15:19:29

  • Finished	2023-07-09T15:19:29

  • Duration	now

  • Commands	nim c --run -d:strip -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --threads:off --verbosity:0 --hints:off --warnings:off --lineTrace:off  --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim


IR




AST


nnkStmtList.newTree(
  nnkTypeSection.newTree(
    nnkTypeDef.newTree(
      newIdentNode("K"),
      nnkGenericParams.newTree(
        nnkIdentDefs.newTree(
          newIdentNode("T"),
          newEmptyNode(),
          newEmptyNode()
        )
      ),
      nnkObjectTy.newTree(
        newEmptyNode(),
        newEmptyNode(),
        newEmptyNode()
      )
    )
  ),
  nnkTemplateDef.newTree(
    newIdentNode("s"),
    newEmptyNode(),
    nnkGenericParams.newTree(
      nnkIdentDefs.newTree(
        newIdentNode("T"),
        newEmptyNode(),
        newEmptyNode()
      )
    ),
    nnkFormalParams.newTree(
      newEmptyNode()
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkDiscardStmt.newTree(
        newEmptyNode()
      )
    )
  ),
  nnkProcDef.newTree(
    newIdentNode("b1"),
    newEmptyNode(),
    newEmptyNode(),
    nnkFormalParams.newTree(
      newEmptyNode(),
      nnkIdentDefs.newTree(
        newIdentNode("n"),
        nnkInfix.newTree(
          newIdentNode("|"),
          newIdentNode("bool"),
          newIdentNode("bool")
        ),
        newEmptyNode()
      )
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkCall.newTree(
        nnkBracketExpr.newTree(
          newIdentNode("s"),
          nnkBracketExpr.newTree(
            newIdentNode("K"),
            nnkBracketExpr.newTree(
              newIdentNode("K"),
              newIdentNode("int")
            )
          )
        )
      )
    )
  ),
  nnkProcDef.newTree(
    newIdentNode("b2"),
    newEmptyNode(),
    newEmptyNode(),
    nnkFormalParams.newTree(
      newEmptyNode(),
      nnkIdentDefs.newTree(
        newIdentNode("n"),
        newIdentNode("bool"),
        newEmptyNode()
      )
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkCall.newTree(
        nnkBracketExpr.newTree(
          newIdentNode("s"),
          nnkBracketExpr.newTree(
            newIdentNode("K"),
            nnkBracketExpr.newTree(
              newIdentNode("K"),
              newIdentNode("int")
            )
          )
        )
      )
    )
  ),
  nnkCall.newTree(
    newIdentNode("b1"),
    newIdentNode("false")
  ),
  nnkCall.newTree(
    newIdentNode("b2"),
    newIdentNode("false")
  )
)



🤖 Bug found in 42 minutes bisecting 6 commits at 0 commits per second.
      		
    

  





        


            

            

              
            

        

      


      

            
  

    
  
    
    

  

  



    












      

  
          

  

    
  


  

      

    @tersec
tersec



    mentioned this issue
    
      Oct 12, 2023
    





  


  

      
   Merged

  







  









      

  
      



  

  @metagn





  


    

      

  

    

        
    
    

  


      
          
  
      
            Copy link

  

      
    

  


  

      

  
    Collaborator


      

  


  

    

      

      
            metagn
  

      

      

      commented


        Jul 20, 2024


      
    


  





      


        


  
    

      
          
Now seems to work, maybe because of #23860

      		
    

  





        


            

            

              
            

        

      


      

            
  

    
  
    
    

  

  



    












      

  
            


    

    

      
    

    


      

          @Araq
Araq




            closed this as completed


      Jul 20, 2024

    

  


    


    

    

      
    

    


      

          @Araq
Araq




        reopened this

      Jul 20, 2024

    

  



  


  
    
  
  

    
  ringabout 

      added a commit
      that referenced
      this issue

    
      Aug 2, 2024
    
    

      


  

    

      


  

      
        @ringabout
  





      

        
          closes #21347; adds a test case
        


      


      

          

    
    
    

  

    


      


      

          

    
    
    

  

  

    
  



      


      
      

        
          e194b52
        
      

    

  




    

  




  

  

    
  


  

      

    @ringabout
ringabout



    mentioned this issue
    
      Aug 2, 2024
    





  


  

      
   Merged

  







  




    

    


    

    


  









  
  

    

      

  





  




  
  

              

  
    Sign up for free
    to join this conversation on GitHub.
    Already have an account?
    Sign in to comment


  



  






  
                  




    

  


      
  

    Assignees
  



        

    No one assigned







      


  


  

    Labels
  



    

      

    works_but_needs_test_case









      

  

    

        

    Projects
  


        




    None yet




  



      


  

    
  

    Milestone
  


      No milestone





    
      
          


  

    
      

        
    

    Development
  




            
Successfully merging a pull request may close this issue.





    


  
          
      closes #21347; adds a test case

    
      nim-lang/Nim
    





    
  




        
      

    

  
      

  

    

      4 participants
    

    

        
          @Araq 
        
          @juancarlospaco 
        
          @metagn 
        
          @tersec