From @masak

<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?

From @coke

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

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

From @diakopter

On Tue Aug 17 21​:36​:24 2010, coke wrote​:

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␤

an even worse error now​:

15​:40 <diakopter> rakudo​: subset A of Array; subset B of A; subset C of
A;subset D of A
  where B & C; say [] ~~ D
15​:40 <p6eval> rakudo 3b1596​: OUTPUT«Type check failed in assignment to
'$v'; expected 'Mu'
  but got 'B'␤ in method REIFY at
src/gen/CORE.setting​:5655␤ in method reify
  at src/gen/CORE.setting​:4949␤ in method reify at
src/gen/CORE.setting​:4936␤
  in method gimme at src/gen/CORE.setting​:5323␤ in metho…

From @timo

this has since been fixed. There's a test in S02-types/subset.t, too.

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