From cd01e7fe765b47b1fc8d102f3d75e61859f6311e Mon Sep 17 00:00:00 2001 From: Richard Feldman Date: Thu, 18 Aug 2022 11:52:27 -0400 Subject: [PATCH] Add #![allow(unused_unsafe)] to Rust glue header --- crates/glue/src/glue.rs | 1 + crates/glue/templates/header.rs | 1 + 2 files changed, 2 insertions(+) diff --git a/crates/glue/src/glue.rs b/crates/glue/src/glue.rs index bcfffd041e..46a6c83286 100644 --- a/crates/glue/src/glue.rs +++ b/crates/glue/src/glue.rs @@ -1,5 +1,6 @@ // ⚠️ GENERATED CODE ⚠️ - this entire file was generated by the `roc glue` CLI command +#![allow(unused_unsafe)] #![allow(dead_code)] #![allow(unused_mut)] #![allow(non_snake_case)] diff --git a/crates/glue/templates/header.rs b/crates/glue/templates/header.rs index b4935b9097..fa93e33ad6 100644 --- a/crates/glue/templates/header.rs +++ b/crates/glue/templates/header.rs @@ -1,5 +1,6 @@ // ⚠️ GENERATED CODE ⚠️ - this entire file was generated by the `roc glue` CLI command +#![allow(unused_unsafe)] #![allow(dead_code)] #![allow(unused_mut)] #![allow(non_snake_case)]