Presumably we could create a test case for this with `syntax-local-introduce`, right?