my subset auto where { state $type = .WHAT; $_ ~~ $type } say "xyz"; my auto $a = 42; $a = 123; $a = "foo"; # Type check failed in assignment to $a; expected auto but got Str ("foo") # say "$a";