Function validate_debuginfos 

pub(crate) fn validate_debuginfos<'tcx>(
    body: &Body<'tcx>,
) -> Vec<(Location, String)>