The Null PMC access is gone, so I'm closing this ticket. The error message has changed slightly:
$ perl6-m -e 'my ::foo $x; say $x' Cannot type check against type variable foo in any type_check at src/gen/m-Metamodel.nqp:297 in block <unit> at -e:1 I added a test for this exception to S02-names-vars/names.t with commit https://github.com/perl6/roast/commit/5e0641d092 If you don't think current behaviour is correct, please reopen the ticket. Also, there was another Ticket (#72814; with test in S04-declarations/my.t) about the Null PMC access with 'my ::foo $x;'. I'm gonna merge both tickets.