Function assert_edge_location_invariant

fn assert_edge_location_invariant<'tcx>(
    tcx: TyCtxt<'tcx>,
    at: CallString,
    body: &Body<'tcx>,
    location: CallString,
)