[perl #111912] [BUG] Composing an inherited class through a parametric role doesn't work in Rakudo

[Carl Mäsak]

# New Ticket Created by  "Carl Mäsak" 
# Please include the string:  [perl #111912]
# in the subject line of all future correspondence about this issue. 
# <URL: https://rt.perl.org:443/rt3/Ticket/Display.html?id=111912 >


<moritz> nom: role A[::T $] { also is T }; class B { }; class C does
A[B] { }; say C ~~ B
<p6eval> rakudo 1a468d: OUTPUT«===SORRY!===␤Cannot type check against
type variable T␤»
<moritz> that's... somwhere between LTA and wrong, I'm not sure where
exactly it is :-)
* masak submits rakudobug