Backpack does not support -ddump-tc-trace
While working on !6164 (closed) I have needed to debug the typechecker in backpack specific scenarios, and it has been a bit of a nightmare because there is no way to enable -ddump-tc-trace
when compiling .bkp
files using --backpack
.