[BUG] alias using __refitem__ fails to compile with "value doesn't have a memory type"

[mikowals]

Bug description

Trying to use a struct that implements __refitem__ in an alias gives a compiler error: error: value doesn't have a memory type. Related to excluded InlineArray tests and #2372.

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[]
 
 
fn main():
    alias foo = Foo()
    _ = foo.__refitem__[__mlir_attr.`0: i1`, __lifetime_of(foo)](0)

Compiler output:

error: value doesn't have a memory type
    _ = foo.__refitem__[__mlir_attr.`0: i1`, __lifetime_of(foo)](0)
                                             ^~~~~~~~~~~~~~~~~~
mojo: error: failed to parse the provided Mojo source module

Using the foo[0] shorthand is a different error. I assume this is correct that it can not infer parameters but the root cause is the error given above when all parameters are explicit.

error: invalid call to '__refitem__': callee expects 2 parameters, but 0 were specified
    _ = foo[0]
        ~~~^~~
/Users/mikowals/projects/mojo/stdlib/scratch.mojo:12:8: note: function declared here
    fn __refitem__[
       ^
mojo: error: failed to parse the provided Mojo source module

System information

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