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