uio-jpt/pt-compiler — Issue #7: kompilatorkrasj på navnekollisjon mellom reqtype og konkret type
Author: svk
Created: 2012-01-20 08:11:30+00:00
State: open

Burde dette være lov?

template T { required type C {} }
package P { inst T with C <= C; class C { } }

Uansett burde det ikke krasje kompilatoren.