I just tried:
> my $x is Int = 42; ===SORRY!=== Error while compiling: is trait on $-sigil variable not yet implemented. Sorry. ------> my $x is Int⏏ = 42; expecting any of: constraint and was a bit disappointed. It took me a while and reading the book of Andrew Shitov till I tried > my Int $x = 42; 42 I wonder if the error message could hint at this way of declaring a type constraint? Gabor