It is possible that during an Import call some of the source locations are not imported correctly. These can cause later assertions or problems if the (invalid) source location is evaluated in a checker or bug report phase.
After every Import call (or similar) we could check if the imported SourceLocation's are correct (at least not invalid) (if the original SourceLocation was not invalid). This check is probably not simple (find all SourceLocations and optionally check with the corresponding location in the From domain or decide if it is correct to have an invalid location here).
It is possible that during an
Import
call some of the source locations are not imported correctly. These can cause later assertions or problems if the (invalid) source location is evaluated in a checker or bug report phase.After every
Import
call (or similar) we could check if the importedSourceLocation
's are correct (at least not invalid) (if the originalSourceLocation
was not invalid). This check is probably not simple (find all SourceLocations and optionally check with the corresponding location in the From domain or decide if it is correct to have an invalid location here).