Looks great, thanks!
This isn't new but oof this note is terrible.
I don't think we have any tests where it's actually emitted. I suspect that this shouldn't happen in practice unless core checkers are disabled.
Now that I think of it, our actual warning for undef passed into function says "function call argument is an uninitialized value" which is almost as bad as this.
Just sayin' :)