yum-mirror/slang

git clone https://git.yummers.dev/yum-mirror/slang

Julius IkkalaAdd a more specific diagnostic message when passing concrete value to interface-typed output parameter (#6788)88a180ba02025-04-11

//DIAGNOSTIC_TEST:SIMPLE:

interface IThing
{
    [mutating]
    void f();

    void g();
}

struct MyThing: IThing
{
    int a = 0;

    [mutating]
    void f()
    {
        a = 10;
    }

    void g() {}
}

void g(IThing x)
{
    x.g();
}

void f(inout IThing x)
{
    x.f();
}

void h<T:IThing>(inout T x)
{
    x.f();
}

void entry()
{
    MyThing concrete;
    IThing interfaceTyped = MyThing();

    g(interfaceTyped); // No error
    g(concrete); // No error
    f(interfaceTyped); // No error
    h(concrete); // No error
    f(concrete); // ERROR!
}