Skip to main content
closure_once_shim
charon_
driver
0.1.184
In charon_
driver::
hax::
rustc_
utils
charon_driver
::
hax
::
rustc_utils
Function
closure_
once_
shim
Copy item path
Source
pub fn closure_once_shim<'tcx>( tcx: TyCtxt<'tcx>, closure_ty: Ty<'tcx>, ) ->
Option
<Body<'tcx>>