pub fn ty_is_fn_once_param<'tcx>(
    tcx: TyCtxt<'_>,
    ty: Ty<'tcx>,
    predicates: &'tcx [Clause<'_>]
) -> bool
Expand description

Checks if the type is a type parameter implementing FnOnce, but not FnMut.