Allow false positive unreachable code warning

bjorn3 · bjorn3 · commit 4b1a2438f8da · 2021-12-30T12:23:32.000+01:00
diff --git a/example/mini_core_hello_world.rs b/example/mini_core_hello_world.rs
@@ -129,6 +129,7 @@ fn call_return_u128_pair() {
     return_u128_pair();
 }
 
+#[allow(unreachable_code)] // FIXME false positive
 fn main() {
     take_unique(Unique {
         pointer: 0 as *const (),

Original file line number	Diff line number	Diff line change
`@@ -129,6 +129,7 @@ fn call_return_u128_pair() {`
`129`	`129`	`return_u128_pair();`
`130`	`130`	`}`
`131`	`131`
	`132`	`+#[allow(unreachable_code)] // FIXME false positive`
`132`	`133`	`fn main() {`
`133`	`134`	`take_unique(Unique {`
`134`	`135`	`pointer: 0 as *const (),`