Use source_locationt::nil() instead of local static_cast#6640

Merged

tautschnig merged 1 commit intodiffblue:developfrom

tautschnig:cleanup/use-source_locationt_nil

Feb 3, 2022

Commits on Feb 3, 2022

Use source_locationt::nil() instead of local static_cast
tautschnig
committed