fn might_permit_raw_init_strict<'tcx>(
    ty: TyAndLayout<'tcx>,
    cx: &LayoutCx<'tcx, TyCtxt<'tcx>>,
    kind: ValidityRequirement,
) -> Result<bool, &'tcx LayoutError<'tcx>>
Expand description

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