fn layout_of_maybe_uninit<'tcx>(
    tcx: TyCtxtAt<'tcx>,
    param: Ty<'tcx>
) -> TyAndLayout<'tcx>