rapx
0.2.2
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