Skip to main content

rvalue_reads_like_view

rapx::verify::alias_hazard

Function rvalue_reads_like_view 

Source 
fn rvalue_reads_like_view(
    rvalue: &Rvalue<'_>,
    tcx: TyCtxt<'_>,
    caller: DefId,
    origins: &[PlaceKey],
    aliases: &HashMap<Local, PlaceKey>,
) -> bool