Allow optional RET type annotation

cbeuw · cbeuw · commit 4523192d3e07 · 2023-03-20T12:21:19.000+01:00
diff --git a/core/src/intrinsics/mir.rs b/core/src/intrinsics/mir.rs
@@ -342,6 +342,7 @@ define!(
 #[rustc_macro_transparency = "transparent"]
 pub macro mir {
     (
+        $(type RET = $ret_ty:ty ;)?
         $(let $local_decl:ident $(: $local_decl_ty:ty)? ;)*
 
         {
@@ -362,7 +363,7 @@ pub macro mir {
         {
             // Now all locals
             #[allow(non_snake_case)]
-            let RET;
+            let RET $(: $ret_ty)?;
             $(
                 let $local_decl $(: $local_decl_ty)? ;
             )*

Original file line number	Diff line number	Diff line change
`@@ -342,6 +342,7 @@ define!(`
`342`	`342`	`#[rustc_macro_transparency = "transparent"]`
`343`	`343`	`pub macro mir {`
`344`	`344`	`(`
	`345`	`+ $(type RET = $ret_ty:ty ;)?`
`345`	`346`	`$(let $local_decl:ident $(: $local_decl_ty:ty)? ;)*`
`346`	`347`
`347`	`348`	`{`
`@@ -362,7 +363,7 @@ pub macro mir {`
`362`	`363`	`{`
`363`	`364`	`// Now all locals`
`364`	`365`	`#[allow(non_snake_case)]`
`365`		`- let RET;`
	`366`	`+ let RET $(: $ret_ty)?;`
`366`	`367`	`$(`
`367`	`368`	`let $local_decl $(: $local_decl_ty)? ;`
`368`	`369`	`)*`