[Bug] The converter for type class matching ( enums ) works unexpectedly

[PixeyeHQ]

The converter for type class matching (enums ) works unexpectedly with procs having more than one argument of the converted type (?)

Current Output

type
  IdLayer {.pure, size: int.sizeof.} = enum
    Core
    Ui
  IdScene {.pure, size: int.sizeof.} = enum
    Game
    Shop 
  SomeIds = IdLayer|IdScene
 
converter toint*(x: SomeIds): int = x.int

var IdGame : int = IdScene.Game #works

## method that get ints 
bind_scene(Core,Game)         # doesn't work, type mismatch for Game, doesnt convert to int
bind_scene(Core,IdScene.Game) # doesn't work, type mismatch for Game, doesnt convert to int
bind_scene(Core,IdGame)       # works 

Expected Output

type
  IdLayer {.pure, size: int.sizeof.} = enum
    Core
    Ui
  IdScene {.pure, size: int.sizeof.} = enum
    Game
    Shop 
  SomeIds = IdLayer|IdScene
 
converter toint*(x: SomeIds): int = x.int

## method that gets ints 
bind_scene(Core, Game) 

Additional Information

$ nim -v
Nim Compiler Version 1.0.6
Nim Compiler Version 1.2.0 ( devel )

[cooldome]

Does it work as expected if you use different converter for every enum?

[PixeyeHQ]

yes, it works with different converters

[cooldome]

Problem is that TCandidate.bindings in sigmatch can't hold more than one binding per type, while it is needed for this example

[PixeyeHQ]

I'm glad that the problem is localized : ) can it be fixed?

[cooldome]

Everything possible, but currently there is a limitation: one generic converter can be used only once in one call.

[metagn]

No information on what bind_scene does (never mind missed the comment) but very likely same as #4554