type Alias = u8

fn new_alias() Alias {
    return 0
}

fn (a Alias) add(b Alias) Alias {
    return new_alias()
}

fn (a Alias) mul(b Alias) Alias {
    return new_alias()
}

fn (a Alias) + (b Alias) Alias {
    return a.add(b)
}

fn (a Alias) * (b Alias) Alias {
    return a.mul(b)
}

fn test_alias_primitive_operator_overloading() {
    a := new_alias()
    b := new_alias()

    c := a + b
    d := a.add(b)
    assert typeof(c).name == 'Alias'
    assert typeof(d).name == 'Alias'

    e := a * b
    f := a.mul(b)
    assert typeof(e).name == 'Alias'
    assert typeof(f).name == 'Alias'
}

type AF_ARRAY = voidptr

fn (a AF_ARRAY) add(b AF_ARRAY) AF_ARRAY {
    mut y := AF_ARRAY(0)
    return y
}

fn (a AF_ARRAY) mul(b AF_ARRAY) AF_ARRAY {
    mut y := AF_ARRAY(0)
    return y
}

fn (a AF_ARRAY) + (b AF_ARRAY) AF_ARRAY {
    return a.add(b)
}

fn (a AF_ARRAY) * (b AF_ARRAY) AF_ARRAY {
    return a.mul(b)
}

fn test_alias_voidptr_operator_overloading() {
    a := AF_ARRAY(0)
    b := AF_ARRAY(0)

    c := a + b
    y := a * a

    assert c == a.add(b)
    assert y == a.mul(a)

    assert typeof(c).name == 'AF_ARRAY'
    assert typeof(y).name == 'AF_ARRAY'
}