Function check_sized_if_body

fn check_sized_if_body<'tcx>(
    wfcx: &WfCheckingCtxt<'_, 'tcx>,
    def_id: LocalDefId,
    ty: Ty<'tcx>,
    maybe_span: Option<Span>,
    code: ObligationCauseCode<'tcx>,
)