From @masak

<masak> masak's first rule of repeated community volunteer
contribution​: "Task needs be well-defined, atomic, and result in
instant gratification on completion."
<moritz> nom​: my Int​:D $x; say $x
<p6eval> nom 25af2d​: OUTPUT«Int()␤»
<moritz> nom​: my Int​:D $x; $x = Int; say $x
<p6eval> nom 25af2d​: OUTPUT«Int()␤»
<moritz> masak​: wanna submit rakudobug? :-)
* masak submits rakudobug
<masak> whee! \o/

Observed​: type object settles in nicely in container which only
accepts defined values. Expected​: error on assignment.

From @FROGGS

Patch​: rakudo/rakudo@8dd74406e6

Tagging testneeded.

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

From @FROGGS

jnthn​: I think we want to do it at MOP level in the future, if nothing else for speed.
jnthn​: I think we should force an initializer on :D'd things. .new is a bad default. Try this​: `class C { has $.x = rand }; for ^5 { my C​:D $foo; say $foo.x }`
jnthn​: also we totally drop the thing on the floor in some situations, like `my $x = Int​:D; say $x`
jnthn​: That latter one is why I was more pondering a MOP-level solution​: so they are first class.
FROGGS​: do we want to keep my patch in until then?
jnthn​: I'm content with keeping it in, but please log the above somewhere in RT
jnthn​: Oh, one more problem
jnthn​: m​: my Int​:omg $x
camelia​: rakudo-moar 8dd744​: OUTPUT«===SORRY!===␤Unsupported type smiley 'omg' used in type name␤»
jnthn​: That just nqp​::die's instead of $/.CURSOR.panic, so we get no source position :(

From @FROGGS

This fixes reporting the file and line number​:
rakudo/rakudo@164953b3de

From @FROGGS

We now require an initializer​:
rakudo/rakudo@7f0e6a56ae

Tagging testneeded.

From @FROGGS

Added tests​:
Raku/roast@fca109de6c
Raku/roast@6e66b7a18d

Closing ticket.

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