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