Invalid C code generation in ORC with methods, a case object, and std/options
### Nim Version

```
Nim Compiler Version 2.0.15 [Linux: amd64]
Compiled at 2025-03-23
Copyright (c) 2006-2023 by Andreas Rumpf

git hash: d01002d8f8cf2c12e67e4ddae3e5990a7d92e753
active boot switches: -d:release
```

```
Nim Compiler Version 2.2.3 [Linux: amd64]
Compiled at 2025-03-23
Copyright (c) 2006-2025 by Andreas Rumpf

git hash: bfd25121f9e636f465fce296cf92554bb3288848
active boot switches: -d:release
```

```
Nim Compiler Version 2.3.1 [Linux: amd64]
Compiled at 2025-03-23
Copyright (c) 2006-2025 by Andreas Rumpf

git hash: fcba14707a06271f6e14b6c5641d6d5fbc96ff0d
active boot switches: -d:release
```

### Description

```
import std/options

type
  B[T] = object
    case r: bool
    of false:
      v: ref int
    of true:
      x: T
  E = distinct seq[int]
  U = ref object of RootObj
  G = ref object of U

proc a(): E = default(E)
method c(_: U): seq[E] {.base.} = discard
proc p(): seq[E] = c(default(U))
method c(_: G): seq[E] = discard E(newSeq[seq[int]](1)[0])
method y(_: U) {.base.} =
  let s = default(B[tuple[f: B[int], w: B[int]]])
  discard some(s.x)
```

### Current Output

```text
/tmp/tmp.HCNuX5LQiU/@m..@shome@suser@snimdevel@slib@ssystem.nim.c: In function ‘reset__k_u413’:
/tmp/tmp.HCNuX5LQiU/@m..@shome@suser@snimdevel@slib@ssystem.nim.c:5351:78: error: incompatible type for argument 1 of ‘eqdestroy___k_u4’
 5351 |         nimlf_(940, "/home/user/nimdevel/lib/system.nim");eqdestroy___k_u41((*obj_p0));
      |                                                                             ~^~~~~~~~
      |                                                                              |
      |                                                                              tySequence__qwqHTkRvwhrRyENtudHQ7g
/tmp/tmp.HCNuX5LQiU/@m..@shome@suser@snimdevel@slib@ssystem.nim.c:478:86: note: expected ‘tySequence__qwqHTkRvwhrRyENtudHQ7g *’ but argument is of type ‘tySequence__qwqHTkRvwhrRyENtudHQ7g’
  478 | N_LIB_PRIVATE N_NIMCALL(void, eqdestroy___k_u41)(tySequence__qwqHTkRvwhrRyENtudHQ7g* dest_p0);
      |                                                  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~
```

### Expected Output

```text
No gcc errors
```

### Known Workarounds

_No response_

### Additional Information

_No response_