From @masak

<masak> rakudo​: my $x = [] but role {}; say "alive"
<p6eval> rakudo : OUTPUT«alive␤»
<masak> rakudo​: my $x = class {} but role {}; say "alive"
<p6eval> rakudo : OUTPUT«Attempt to use rebless_subclass where the new
class was not a subclass␤ in 'infix​:<does>' [...]
* masak submits rakudobug
<masak> rakudo​: role R {}; my $x = class {} but R; say "alive"
<p6eval> rakudo : OUTPUT«Attempt to use rebless_subclass where the new
class was not a subclass␤ in 'infix​:<does>' [...]
<jnthn> masak​: That one is because of the way type objects are done.
<masak> rakudo​: role R {}; my $x = (class {}).new but R; say "alive"
<p6eval> rakudo : OUTPUT«alive␤»
<masak> ah.
<jnthn> Yeah.
<jnthn> Trying to fix that was one of the things that told me, "OK, we
need type objects to REALLY be the same type"
<masak> rakudo​: my $x = (role {}) but role {}; say "alive"
<p6eval> rakudo : OUTPUT«Attempt to use rebless_subclass where the new
class was not a subclass␤ in 'infix​:<does>' [...]
<masak> jnthn​: same as what?
<masak> ah.
<masak> as their instantiated cousins.
<masak> yeah, that sounds like a good idea.
<jnthn> Right :)

From @jnthn

On Sat Nov 27 14​:28​:35 2010, masak wrote​:

<masak> rakudo​: my $x = [] but role {}; say "alive"
<p6eval> rakudo : OUTPUT«alive␤»
<masak> rakudo​: my $x = class {} but role {}; say "alive"
<p6eval> rakudo : OUTPUT«Attempt to use rebless_subclass where the new
class was not a subclass␤ in 'infix​:<does>' [...]
* masak submits rakudobug
<masak> rakudo​: role R {}; my $x = class {} but R; say "alive"
<p6eval> rakudo : OUTPUT«Attempt to use rebless_subclass where the new
class was not a subclass␤ in 'infix​:<does>' [...]

Now​:

my $x = class {} but role {}; say "alive"
alive

Note also that​:

my $x = class {} does role {}; say "alive"
Cannot use 'does' operator with a type object

Which makes sense, as you'd be changing a type object in place, which
would be bad.

Tagging testneeded.

/jnthn

The RT System itself - Status changed from 'new' to 'open'

From @moritz

now tested in S14-roles/mixin.t

@moritz - Status changed from 'open' to 'resolved'