Add RFC number

Author: Nadrieril

text/0000-never-patterns.md

@@ -1,6 +1,6 @@
 - Feature Name: `never_patterns`
-- Start Date: (fill me in with today's date, 2024-10-27)
-- RFC PR: [rust-lang/rfcs#0000](https://github.com/rust-lang/rfcs/pull/0000)
+- Start Date: 2024-10-27
+- RFC PR: [rust-lang/rfcs#3719](https://github.com/rust-lang/rfcs/pull/3719)
 - Rust Issue: [rust-lang/rust#118155](https://github.com/rust-lang/rust/issues/118155)
 
 # Summary