rapx
0.1.9
In rapx::
analysis::
safedrop::
types
rapx
::
analysis
::
safedrop
::
types
Function
is_not_drop
Copy item path
source
pub fn is_not_drop<'tcx>(tcx:
TyCtxt
<'tcx>, current_ty:
Ty
<'tcx>) ->
bool