failed to synthesize instance extra info

Stream: general

[Matthew Pocock]

I have the dreaded "failed to synthesize instance" error but it looks to me like it is a failure nested somewhere down within an instance search tree. Is there a way to encourage it to display the full path of attempted instantiations that lead to the failure, so I can see where in the process it's taken a left turn?

[Matthew Pocock]

OK, looks like user error. The whole line was highlighted in red, and I was reading the error as coming from one end of the line when it was coming from the other.

[Henrik Böving]

Matthew Pocock said:

I have the dreaded "failed to synthesize instance" error but it looks to me like it is a failure nested somewhere down within an instance search tree. Is there a way to encourage it to display the full path of attempted instantiations that lead to the failure, so I can see where in the process it's taken a left turn?

set_option trace.Meta.synthInstance true in