[BUG] Compiler crashes when trying to resolve the type of method with inferred parameter

[soraros]

Bug description

Mojo compiler can't resolve the type of a method with an inferred parameter from a struct with variadic parameter. Crash with message:

Stack dump:
0.      Program arguments: /workspaces/mojo/.magic/envs/default/bin/mojo run /workspaces/mojo/playground/bug.mojo
1.      Crash resolving decl signature at loc("/workspaces/mojo/playground/bug.mojo":2:6)
    >>   fn f[T: Movable, //](self, x: T):
            ^.............................<
Stack dump without symbol names (ensure you have llvm-symbolizer in your PATH or set the environment var `LLVM_SYMBOLIZER_PATH` to point to it):
0  mojo      0x000055d16e252d5b
1  mojo      0x000055d16e250cb9
2  mojo      0x000055d16e2533fd
3  libc.so.6 0x00007fd3e2a42520
4  mojo      0x000055d16adf2fa5
mojo crashed!

Steps to reproduce

struct S[*Ts: Int]:
  fn f[T: Movable, //](self, x: T):
    pass

System information

Mojo 2024.9.2517 (727c911c) on Docker, Intel Mac