test & fix for Bug 332801 - [compiler][generics] instantiating a generic role cannot be type-checked
2 files changed