closure_once_shim
hax_
frontend_
exporter
0.3.5
hax_frontend_exporter
Function
closure_
once_
shim
Copy item path
Source
pub fn closure_once_shim<'tcx>( tcx: TyCtxt<'tcx>, closure_ty: Ty<'tcx>, ) ->
Option
<Body<'tcx>>