Function dispatch_semaphore_layout 

fn dispatch_semaphore_layout<'tcx>(
    ecx: &MiriInterpCx<'tcx>,
) -> TyAndLayout<'tcx>