Function layout_sanity_check 

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

Enforce some basic invariants on layouts.