test-merge-types.t #1