# New Ticket Created by "Carl Mäsak"
# Please include the string: [perl #109880]
# in the subject line of all future correspondence about this issue.
# <URL: https://rt.perl.org:443/rt3/Ticket/Display.html?id=109880 >
<masak> nom: role Foo[::T] { has T @.a = [T] }; class Bar {}; say
Foo[Bar].new.a[0]
<p6eval> nom a17736: OUTPUT«Cannot type check against type variable T [...]
<masak> jnthn: what's up with this?
<jnthn> hm
<jnthn> nom: my $r = role Foo[::T] { has T @.a }; $r.HOW.attributes($r).perl.say
<p6eval> nom 5a2c7d: OUTPUT«Method 'mro' not found for invocant of
class 'Perl6::Metamodel::ParametricRoleHOW' [...]
<jnthn> ...interesting.
<jnthn> nom: my $r = role Foo[::T] { has T @.a };
$r.HOW.attributes($r, :local).[0].type.HOW.archetypes.generic.say
<p6eval> nom 5a2c7d: OUTPUT«1»
<jnthn> Hm, that much is right then.
<jnthn> masak: Not sure without going for a deeper dig...some kind of
generic instantiation failure.
* masak submits rakudobug
