[BUG] __getitem__(self, Slice) with __refitem__ gives callee expects 2 parameters, but 0 were specified

[mikowals]

Bug description

A problem in the __getitem__ or __refitem__ sugar syntax using brackets. Encountered implementing #2432.

Steps to reproduce

from memory import UnsafePointer
 
@value
struct Foo:
    var data: UnsafePointer[Int]
 
    fn __init__(inout self):
        pass
 
    @always_inline
    fn __refitem__[
        mutability: __mlir_type.`i1`, self_life: AnyLifetime[mutability].type
    ](
        self: Reference[Self, mutability, self_life]._mlir_type,
        i: Int,
    ) -> Reference[Int, mutability, self_life]:
        var ptr = Reference(self)[].data
        return ptr[]
 
    @always_inline
    fn __getitem__(self, span: Slice) -> Self:
        return Self()
 
    @always_inline
    fn __str__(self) -> String:
        return "foo"
 
 
fn main():
    var foo = Foo()
    print(foo[0:1:1]) # error: invalid call to '__refitem__': callee expects 2 parameters ...
    # print(foo.__getitem__(slice(0, 1, 1))) # this one works

System information

- MacOS Sonoma 14.4.1 (23E224)
- mojo 2024.5.323 (1d9276ea)
- modular 0.7.2 (d0adc668)