const c: slice = 123 + 456; /** @compilation_should_fail @stderr expression type does not match declared type @stderr const c */