We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent fc94949 commit eedc869Copy full SHA for eedc869
text/0000-de-rfc-type-ascription.md
@@ -1,7 +1,7 @@
1
- Feature Name: `ascription`
2
- Start Date: 2022-08-07
3
-- RFC PR: [rust-lang/rfcs#0000](https://github.com/rust-lang/rfcs/pull/0000)
4
-- Rust Issue: [rust-lang/rust#0000](https://github.com/rust-lang/rust/issues/0000)
+- RFC PR: [rust-lang/rfcs#3307](https://github.com/rust-lang/rfcs/pull/3307)
+- Rust Issue: [rust-lang/rust#101728](https://github.com/rust-lang/rust/issues/101728)
5
6
7
_From the community that brought you the Pre-RFC and the e-RFC, we now introduce: the de-RFC!_
0 commit comments