- detect and forbid non-positive size casts - detect and forbid negative struct pattern literal indices - avoid invalid constant folding of negative based literals