Impossible throws converted to asserts