[perl #74352] [BUG] Strange type object-related error when doing a junction in a subtype with the same nominal check several times in Rakudo

[Will Coleda via RT]

On Tue Apr 13 09:22:39 2010, masak wrote:
> <masak> rakudo: subset A of Array; subset B of A; subset C of A;
> subset D of A where B & C; say [] ~~ D
> <p6eval> rakudo 3b5a79: OUTPUT«Type objects are abstract and have no
> attributes, but you tried to access [...]
> * masak submits rakudobug
> <masak> it appears to be a combination of doing the nominal A check
> multiple times, and the &
> <masak> rakudo: subset A of Array; subset B of A; subset C of Any;
> subset D of A where B & C; say [] ~~ D
> <p6eval> rakudo 3b5a79: OUTPUT«Type objects are abstract and have no
> attributes, but you tried to access [...]
> <masak> rakudo: subset A of Array; subset B of Any; subset C of Any;
> subset D of A where B & C; say [] ~~ D
> <p6eval> rakudo 3b5a79: OUTPUT«1␤»
> 
> Also, 'tried to access' what exactly?

Slightly more verbose now:

00:35 <p6eval> rakudo 67778a: OUTPUT«Type objects are abstract and have no 
               attributes, but you tried to access $!flat␤  in 'infix:<&>' at 
               line 1␤  in <anon> at line 22:/tmp/hSDtzs8cFQ␤  in 
               'Block::ACCEPTS' at line 5766:CORE.setting␤  in 'ACCEPTS' at 
               line 984:CORE.setting␤  in 'ACCEPTS' at line 981:CORE.setting␤ 


-- 
Will "Coke" Coleda