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