Skip to main content

restrict_precision_for_unsafe

hir_ty::infer::closure::analysis

Function restrict_precision_for_unsafe 

Source 
fn restrict_precision_for_unsafe(
    place: Place,
    capture_info: &mut CaptureInfo,
) -> Place
Expand description

Truncate place so that an unsafe block isn’t required to capture it.

  • No projections are applied to raw pointers, since these require unsafe blocks. We capture them completely.
  • No projections are applied on top of Union ADTs, since these require unsafe blocks.