It seems as though the report in the description was not compiled with
enough debug information to give line numbers. The report in the zcash bug
does have line numbers; note that it is not necessarily exactly the same
bug.