fix: more accurate static assertion