passing 2 sets with 2 different ranges to a proc is not consistent

[hamidb80]

playground

Example

proc `==`[T](a, b: set[T]): bool =
  debugEcho (a.card, b.card)
  debugEcho (a, b)
  debugEcho "---" # <----- uncomment

  if a.card == b.card:
    for i in a:
      if i notin b:
        return false

    true

  else: false


when isMainModule:
  let
    s1: set['a' .. 'g'] = {'a', 'e'}
    # s2: set['a' .. 'g'] = {'b', 'c', 'd', 'f'} # this works fine
    s2 = {'b', 'c', 'd', 'f'}

  echo s1 == s2

Current Output

when line debugEcho "---" is not commented:

(2, 3)
({'a', 'e'}, {'f', 'g'})
---
false

when that line is commented:

(2, 2)
({'a', 'e'}, {'f'})
false

Additional Information

Nim Compiler Version 1.6.6 [Windows: amd64]
Compiled at 2022-05-05
Copyright (c) 2006-2021 by Andreas Rumpf

active boot switches: -d:release

[hamidb80]

arguments about this issue on discord

[ringabout]

Some related issues and prs:

#16270
#18388
#18396