fn check_paths<'tcx>(
    tcx: TyCtxt<'tcx>,
    if_this_changed: &Vec<(Span, DefId, DepNode)>,
    then_this_would_need: &Vec<(Span, Symbol, HirId, DepNode)>
)