Здравствуйте, VladD2, Вы писали:


примерное описание

переменная имеет поля времени компиляции

class A
{
 a:int;
 comp a:int; // данное поле существует только при компиляции
}


mut a:A;
 
func f(a:A) where a.b=1 or a.b=3
{
}

{
    mut a:A;
    a.b=2;
    f(a) // ошибка
}

{
    mut a:A;
    f(a) // ошибка
}

{
    mut a:A;
        a.b=1;
    f(a) // успешно
}

{
    mut a:A;
    a.b=1
    f(a) // успешно
    a.b=3
    f(a) // успешно
    a.b=2
    f(a) // ошибка компиляции

}