diff --git a/tests/test-merge-types.out b/tests/test-merge-types.out new file mode 100644 --- /dev/null +++ b/tests/test-merge-types.out @@ -0,0 +1,1 @@ +### This test is for a known, unfixed bug ###