fn check_validity_requirement_strict<'tcx>(
ty: TyAndLayout<'tcx>,
cx: &LayoutCx<'tcx>,
kind: ValidityRequirement,
) -> boolExpand description
Implements the ‘strict’ version of the check_validity_requirement checks; see that function
for details.