Adding more descriptive static assertions