WIP: has_required_preds

Author: ada4a

clippy_lints/src/needless_path_new.rs

@@ -7,7 +7,7 @@ use rustc_hir::def::{CtorKind, DefKind, Res};
 use rustc_hir::def_id::DefId;
 use rustc_hir::{Expr, ExprKind, QPath};
 use rustc_lint::{LateContext, LateLintPass};
-use rustc_middle::ty::{self, List, ParamTy, Ty, TyCtxt};
+use rustc_middle::ty::{self, GenericPredicates, List, ParamTy, Ty, TyCtxt};
 use rustc_session::impl_lint_pass;
 use rustc_span::sym;
 use std::iter;
@@ -114,6 +114,8 @@ impl<'tcx> LateLintPass<'tcx> for NeedlessPathNew<'tcx> {
             })
         };
 
+        let has_required_preds = |_param_ty: &ParamTy /* , _preds: GenericPredicates<'_> */| -> bool { true };
+
         // as far as I understand, `ExprKind::MethodCall` doesn't include the receiver in `args`,
         // but does in `sig.inputs()` -- so we iterate over both in `rev`erse in order to line
         // them up starting from the _end_
@@ -127,7 +129,7 @@ impl<'tcx> LateLintPass<'tcx> for NeedlessPathNew<'tcx> {
                     && is_path_new(path_new)
                     && let ty::Param(arg_param_ty) = arg_ty.kind()
                     && !is_used_anywhere_else(arg_param_ty, sig.inputs())
-                    && implements_asref_path(*arg_ty)
+                    && has_required_preds(arg_param_ty /* , cx.tcx.predicates_of(arg_ty) */)
                 {
                     span_lint_and_sugg(
                         cx,