Function check_validity_requirement_strict

fn check_validity_requirement_strict<'tcx>(
    ty: TyAndLayout<'tcx>,
    cx: &LayoutCx<'tcx>,
    kind: ValidityRequirement,
) -> bool

Implements the ‘strict’ version of the check_validity_requirement checks; see that function for details.