Function partially_check_layout

pub(super) fn partially_check_layout<'tcx>(
    cx: &LayoutCx<'tcx>,
    layout: &TyAndLayout<'tcx>,
)

Enforce some basic invariants on layouts.