Skip to main content

layout_call_ty

rapx::verify::call_summary::fn_simulator

Function layout_call_ty 

Source 
fn layout_call_ty<'tcx>(func: &Operand<'tcx>) -> Option<Ty<'tcx>>