Assert when an expression which makes no sense is used for type size.