# Pointer type test
fn main() -> int do
    let x: *int = 0 as *int;  # Cast to pointer for now
    let y = x;  # Should infer *int
    42
end