test for #1154: Bug with type aliases