path: root/progs/tests/auto/invalid_assign.sy

start :: fn {
a := 1
a = 0.1
a
}

// errors: [ErrorKind::TypeMismatch(Type::Int, Type::Float)]