tree 4870751bba09401a7e1bef394d87679319bff6fe
parent 9a8543347796e52070ff7936661ae48fcebfea60
author Leonardo de Moura <leomoura@amazon.com> 1731801220 -0800
committer Leonardo de Moura <leomoura@amazon.com> 1731801359 -0800

fix: circular assignment at structure instance elaborator

This PR fixes a stack overflow caused by a cyclic assignment in the
metavariable context. The cycle is unintentionally introduced by the
structure instance elaborator.

closes #3150