Skip to main content
box_inner
charon_
lib
0.1.216
In charon_
lib::
transform::
resugar::
reconstruct_
vec_
boxes
charon_lib
::
transform
::
resugar
::
reconstruct_vec_boxes
Function
box_
inner
Copy item path
Source
fn box_inner(ty: &
Ty
) ->
Option
<
Ty
>