Keep reference bindings out of template.fields, in template.refHeads

2026-09-24 13:47:51 +02:00
parent 84b3252bfc
commit 5aae86638b
13 changed files with 26 additions and 53 deletions
@@ -158,7 +158,7 @@ func (p *valueProof) template(t *template) proven {
 	case !isFunc:
 		var leaves []node
 		for _, a := range splitArms(body, t.refs) {
-			leaves = append(leaves, pathLeaves(t.fields[a.key], a.tail)...)
+			leaves = append(leaves, pathLeaves(t.head(a.key), a.tail)...)
 		}
 		return p.unite(leaves)
 	case name == "calc":