Add rustdoc hack

oli-obk · oli-obk · commit 47c97b1d5143 · 2024-02-02T21:23:13.000Z
diff --git a/compiler/rustc_hir_analysis/src/coherence/builtin.rs b/compiler/rustc_hir_analysis/src/coherence/builtin.rs
@@ -104,7 +104,12 @@ fn visit_implementation_of_copy(
             Err(infringing_fields_error(tcx, fields, LangItem::Copy, impl_did, span))
         }
         Err(CopyImplementationError::NotAnAdt) => {
-            Err(tcx.dcx().emit_err(errors::CopyImplOnNonAdt { span }))
+            if tcx.sess.opts.actually_rustdoc {
+                // HACK(rustdoc): `impl<Ret, T> Copy for fn(T) -> Ret` just for docs.
+                Ok(())
+            } else {
+                Err(tcx.dcx().emit_err(errors::CopyImplOnNonAdt { span }))
+            }
         }
         Err(CopyImplementationError::HasDestructor) => {
             Err(tcx.dcx().emit_err(errors::CopyImplOnTypeWithDtor { span }))

Original file line number	Diff line number	Diff line change
`@@ -104,7 +104,12 @@ fn visit_implementation_of_copy(`
`104`	`104`	`Err(infringing_fields_error(tcx, fields, LangItem::Copy, impl_did, span))`
`105`	`105`	`}`
`106`	`106`	`Err(CopyImplementationError::NotAnAdt) => {`
`107`		`- Err(tcx.dcx().emit_err(errors::CopyImplOnNonAdt { span }))`
	`107`	`+ if tcx.sess.opts.actually_rustdoc {`
	`108`	+ // HACK(rustdoc): `impl<Ret, T> Copy for fn(T) -> Ret` just for docs.
	`109`	`+ Ok(())`
	`110`	`+ } else {`
	`111`	`+ Err(tcx.dcx().emit_err(errors::CopyImplOnNonAdt { span }))`
	`112`	`+ }`
`108`	`113`	`}`
`109`	`114`	`Err(CopyImplementationError::HasDestructor) => {`
`110`	`115`	`Err(tcx.dcx().emit_err(errors::CopyImplOnTypeWithDtor { span }))`