From 9cdcd0c3fa2ec52547d196101d350c5f2e50ead6 Mon Sep 17 00:00:00 2001
From: ritik chahar <ritikchahar156@gmail.com>
Date: Sat, 31 Jan 2026 10:15:19 +0530
Subject: [PATCH 1/2] Document enum types used as values for E0423

---
 compiler/rustc_error_codes/src/error_codes/E0423.md | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/compiler/rustc_error_codes/src/error_codes/E0423.md b/compiler/rustc_error_codes/src/error_codes/E0423.md
index a98ada17a469c..eb5243b598471 100644
--- a/compiler/rustc_error_codes/src/error_codes/E0423.md
+++ b/compiler/rustc_error_codes/src/error_codes/E0423.md
@@ -44,3 +44,16 @@ fn h1() -> i32 {
     // did you mean `a::I`?
 }
 ```
+
+
+
+### Enum types used as values
+
+Enums are types and cannot be used directly as values.
+
+```compile_fail,E0423
+fn main() {
+    let x = Option::<i32>;
+    //~^ ERROR expected value, found enum `Option`
+}
+```
\ No newline at end of file

From daaff44cbc25c35fbe59878bef315252fbba8a62 Mon Sep 17 00:00:00 2001
From: ritik chahar <ritikchahar156@gmail.com>
Date: Sat, 31 Jan 2026 10:46:58 +0530
Subject: [PATCH 2/2] Fix tidy formatting manually for E0423.md

---
 compiler/rustc_error_codes/src/error_codes/E0423.md | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/compiler/rustc_error_codes/src/error_codes/E0423.md b/compiler/rustc_error_codes/src/error_codes/E0423.md
index eb5243b598471..4af17b1221b9c 100644
--- a/compiler/rustc_error_codes/src/error_codes/E0423.md
+++ b/compiler/rustc_error_codes/src/error_codes/E0423.md
@@ -45,15 +45,13 @@ fn h1() -> i32 {
 }
 ```
 
-
-
 ### Enum types used as values
 
 Enums are types and cannot be used directly as values.
 
 ```compile_fail,E0423
-fn main() {
+fn main(){
     let x = Option::<i32>;
-    //~^ ERROR expected value, found enum `Option`
+    //~^ ERROR expected value,found enum `Option`
 }
-```
\ No newline at end of file
+```