vscode datalog: spurious 'unbound variable in head' errors when nested

[vilterp]

These errors shouldn't be there:

Not sure why this isn't finding them:

datalog-ts/languageWorkbench/languages/dl/dl.ts

Lines 68 to 71 in 4a79913

	function* scopeDefnHeadVar(db: NodesByRule, ruleName: string): Generator<Defn> {
	for (const ruleID of ruleNameToID(db, ruleName)) {
	for (const record of db.get("record").byParentID.get(ruleID)) {
	for (const recordVar of scopeRecordVar(db, record.id)) {

[vilterp]

Wait a sec, it's not even finding this?

wtf