Type check non-count bounds expressions #14
Description
This issue was copied from checkedc/checkedc-clang#14
Type check bounds declarations and bounds expressions that use bounds, following the rules outlined in the Checked C design. These can be used in parameter declarations, variables declarations, and for function return, following the rules outline.