Update src/varname.jl

Co-authored-by: Tor Erlend Fjelde <tor.erlend95@gmail.com>
TuringLang · Mar 11, 2024 · 4ead3f1 · 4ead3f1
1 parent 205f506
commit 4ead3f1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/varname.jl b/src/varname.jl
@@ -272,7 +272,7 @@ Currently _not_ supported are:
   - Trailing ones: `x[2, 1]` does not subsume `x[2]` for a vector `x`
 """
 function subsumes(u::VarName, v::VarName)
-    return getsym(u) == getsym(v) && subsumes(u.optic, v.optic)
+    return getsym(u) == getsym(v) && subsumes(getoptic(optic), getoptic(v))
 end
 
 # Idea behind `subsumes` for `Lens` is that we traverse the two lenses in parallel,