Use correct coverage information
Use correct coverage information

Previously when building run time case trees for case blocks we were
using the parent's coverage information, which would mean it wouldn't
insert the error case so crash at run time instead of printing a more
helpful message

mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm