On Sun Feb 01 02:19:22 2009, masak wrote: > With Rakudo 153a4a8 on Parrot r36239, I get the following: > > $ perl6 -e 'role A {}; class B { has A $!a }; B.new' > Type mismatch in assignment. > [...] > > I see nothing wrong with the above, so I don't think the error is > justified.
Aye, there were a range of quirks/issues in role type checking, which I've now fixed in git 88b6c25. Plus added some tests for roles being used as type constraints. Thanks, Jonathan