It currently flags it as such and then lets it sort of die (the GetLocals to it are not referenced), but this feels fragile. We should instead make it live, but make all operations over it indicate explicitly that it is dead. So PhantomLocals remain, GetLocals turn into PhantomLocals, and the SetLocal(PhantomArguments) should become something like SetLocalPhantomArguments, which is a no-op but indicates the start of the PhantomArgument's live range. This is not a critical bug; it would just be nice to clean this up at some point if we have a chance.