Function is_value_init_supported 

fn is_value_init_supported(module: &Module, ty: Handle<Type>) -> bool