Function cleaver::analysis::semantic::symbols::check_void_variable

pub fn check_void_variable(fun: &Node<Function>) -> Result<(), String>