c: размер void *

Я немного запутался с указатель void * в C. Особенно после прочтения этого вопроса: Всегда ли sizeof (некоторый указатель) равен четырем? , где один человек говорит, что нет гарантии, что sizeof (int *) == sizeof ( double *)

Мой вопрос: есть ли гарантия sizeof (void *)> = sizeof (любого другого типа указателя)? Другими словами, могу ли я всегда назначить указатель some_type * на указатель void *, а затем вернуть его как some_type *?