Test for #1495: Type alias and generic type parameter issue with type aliases

Test passes now, so it was fixed by side-effect. I can confirm it does not pass with Ceylon 1.0