From @masak

<masak> rakudo​: subset Foo of Object where Str | Int; my $foo =
Foo.new; say $foo.WHAT
<p6eval> rakudo ffe648​: OUTPUT«()␤»
* masak submits another rakudobug

Should probably be a compile-time error, even.

From @coke

On Thu Oct 01 03​:44​:43 2009, masak wrote​:

<masak> rakudo​: subset Foo of Object where Str | Int; my $foo =
Foo.new; say $foo.WHAT
<p6eval> rakudo ffe648​: OUTPUT«()␤»
* masak submits another rakudobug

Should probably be a compile-time error, even.

This better?

00​:30 <[Coke]> rakudo​: subset Foo of Object where Str | Int; my $foo = Foo.new;
  say $foo.WHAT
00​:30 <p6eval> rakudo 67778a​: OUTPUT«===SORRY!===␤Confused at line 22, near
  "subset Foo"␤»

--
Will "Coke" Coleda

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

From @masak

On Tue Aug 17 21​:33​:18 2010, coke wrote​:

On Thu Oct 01 03​:44​:43 2009, masak wrote​:

<masak> rakudo​: subset Foo of Object where Str | Int; my $foo =
Foo.new; say $foo.WHAT
<p6eval> rakudo ffe648​: OUTPUT«()␤»
* masak submits another rakudobug

Should probably be a compile-time error, even.

This better?

00​:30 <[Coke]> rakudo​: subset Foo of Object where Str | Int; my $foo =
Foo.new;
say $foo.WHAT
00​:30 <p6eval> rakudo 67778a​: OUTPUT«===SORRY!===␤Confused at line 22,
near
"subset Foo"␤»

No, that's just the reported problem being hidden by an upstream syntax error caused by
Object having since been renamed Mu.

<masak> rakudo​: subset Foo of Mu where Str | Int; my $foo = Foo.new; say $foo.WHAT
<p6eval> rakudo 67778a​: OUTPUT«Mu()␤»

The original problem persists.

From @bbkr

NOM

bbkr​:nom bbkr$ ./perl6 -e 'subset Foo of Mu where Str | Int; my $foo =
Foo.new; say $foo.WHAT'
You cannot create an instance of this type
  in method bless at src/gen/CORE.setting​:504
  in method new at src/gen/CORE.setting​:491

From @bbkr

2​:34
bbkr
masak​: https://rt-archive.perl.org/perl6/Ticket/Display.html?id=69518 - is this
expected behavior?
2​:35
jnthn
bbkr​: Looks right to me, fwiw.

2​:36
jnthn
Could awesomize the error a little.
2​:36
(to include the name of the type)
But that aside, it's refusing to instantiate a subtype.

2​:37
masak
aye.

2​:37
bbkr
should I write test and close or rename to "LTA error message" issue
2​:37
jnthn
bbkr​: Write a couple of tests. One that it works, another that the error
contains the type name.

2​:37
masak
I say the ticket as it stands is closable (after tests)

From @moritz

now tested in S02-types/subset.t

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