Skip to main content

terminator_uses_live_origin

rapx::verify::alias_hazard

Function terminator_uses_live_origin 

Source 
fn terminator_uses_live_origin(
    kind: &TerminatorKind<'_>,
    live: &[PlaceKey],
) -> bool