// |jit-test| test-also=--wasm-function-references --wasm-gc --wasm-compiler=optimizing; test-also=--wasm-function-references --wasm-gc --wasm-compiler=baseline;

wasmFailValidateText(`(module
	(tag)
	(tag)
	(func (export "test")
		try
			throw 0
		catch 0
			unreachable
		catch 1
			i32.add
		end
	)
)`, /popping/);

if (wasmGcEnabled()) {
	wasmFailValidateText(`(module
		(tag)
		(tag)
		(func (export "test") (param (ref extern))
			(local $nonNullable (ref extern))
			try
				throw 0
			catch 0
				(local.set $nonNullable (local.get 0))
			catch 1
				(local.get $nonNullable)
				drop
			end
		)
	)`, /unset local/);
}