fn might_permit_raw_init_strict<'tcx>(
    ty: TyAndLayout<'tcx>,
    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.