id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,difficulty 754,compiler-typecase: try to obtain line-number in error message if possible,felix winkelmann,felix winkelmann,"Errors generated by `compiler-typecase` will not have any context-information, so it would be nice to have the line-number, if it is available for the original form. This possibly needs extending the params for `##core#typecase` to contain source-info. ",defect,closed,minor,,compiler,4.7.x,fixed,compiler-typecase,,