diff --git a/clippy_lints/src/doc.rs b/clippy_lints/src/doc.rs
index 2968daa54b412..9b8664c13206a 100644
--- a/clippy_lints/src/doc.rs
+++ b/clippy_lints/src/doc.rs
@@ -234,7 +234,7 @@ fn lint_for_missing_headers<'a, 'tcx>(
                 if implements_trait(cx, ret_ty, future, &[]);
                 if let ty::Opaque(_, subs) = ret_ty.kind;
                 if let Some(gen) = subs.types().next();
-                if let ty::Generator(_, subs, _) = gen.kind;
+                if let ty::Generator(def_id, subs, _) = gen.kind;
                 if match_type(cx, subs.as_generator().return_ty(def_id, cx.tcx), &paths::RESULT);
                 then {
                     span_lint(
diff --git a/tests/ui/crashes/ice-5207.rs b/tests/ui/crashes/ice-5207.rs
new file mode 100644
index 0000000000000..1b20c9defac82
--- /dev/null
+++ b/tests/ui/crashes/ice-5207.rs
@@ -0,0 +1,7 @@
+// edition:2018
+
+// Regression test for https://github.com/rust-lang/rust-clippy/issues/5207
+
+pub async fn bar<'a, T: 'a>(_: T) {}
+
+fn main() {}