use the correct ParamEnv when checking future's return type in missing_errors_doc

Author: y21

clippy_lints/src/doc/missing_headers.rs

@@ -1,6 +1,6 @@
 usesuper::{DocHeaders,MISSING_ERRORS_DOC,MISSING_PANICS_DOC,MISSING_SAFETY_DOC,UNNECESSARY_SAFETY_DOC};
 use clippy_utils::diagnostics::{span_lint, span_lint_and_note};
-use clippy_utils::ty::{implements_trait, is_type_diagnostic_item};
+use clippy_utils::ty::{implements_trait_with_env, is_type_diagnostic_item};
 use clippy_utils::{is_doc_hidden, return_ty};
 use rustc_hir::{BodyId,FnSig,OwnerId,Safety};
 use rustc_lint::LateContext;
@@ -70,7 +70,14 @@ pub fn check(
  && let typeck = cx.tcx.typeck_body(body_id)
  && let body = cx.tcx.hir().body(body_id)
  && let ret_ty = typeck.expr_ty(body.value)
- && implements_trait(cx, ret_ty, future,&[])
+ && implements_trait_with_env(
+ cx.tcx,
+ ty::TypingEnv::non_body_analysis(cx.tcx, owner_id.def_id),
+ ret_ty,
+ future,
+Some(owner_id.def_id.to_def_id()),
+&[],
+)
  && let ty::Coroutine(_, subs) = ret_ty.kind()
  && is_type_diagnostic_item(cx, subs.as_coroutine().return_ty(), sym::Result)
 {

tests/ui/crashes/ice-13862.rs

@@ -0,0 +1,19 @@
+#![crate_type = "lib"]
+#![no_std]
+
+use core::future::Future;
+use core::pin::Pin;
+use core::task::{Context,Poll};
+
+pubstructS<constN:u8>;
+
+impl<constN:u8>FutureforS<N>{
+typeOutput = ();
+fnpoll(self:Pin<&mutSelf>, _:&mutContext<'_>) -> Poll<Self::Output>{
+todo!()
+}
+}
+
+pubfnf<constN:u8>() -> S<N>{
+S
+}