summaryrefslogtreecommitdiff
path: root/rust/src/types.rs
diff options
context:
space:
mode:
authorRubens Brandao <git@rubens.io>2024-04-16 17:03:20 -0300
committerRubens Brandao <git@rubens.io>2024-04-16 17:03:20 -0300
commitf3c1a3cb3cbdd25d5f556d1ab770f8cbc29fd567 (patch)
tree71a6f2e8df93f7ef08bda08caca3a637588cc919 /rust/src/types.rs
parent37b51462dcf26dc40ac5d7e82acdfd4cbe754157 (diff)
add guard to array with unbound return types
Diffstat (limited to 'rust/src/types.rs')
-rw-r--r--rust/src/types.rs2
1 files changed, 0 insertions, 2 deletions
diff --git a/rust/src/types.rs b/rust/src/types.rs
index 43d48b3f..280d50fd 100644
--- a/rust/src/types.rs
+++ b/rust/src/types.rs
@@ -2501,7 +2501,6 @@ unsafe impl<S: BnStrCompatible> CoreArrayWrapper for NameAndType<S> {
type Wrapped<'a> = &'a NameAndType<S> where S: 'a;
unsafe fn wrap_raw<'a>(raw: &'a Self::Raw, _context: &'a Self::Context) -> Self::Wrapped<'a> {
- // TODO this is not always valid, because the type is not transparent
mem::transmute(raw)
}
}
@@ -2549,7 +2548,6 @@ unsafe impl CoreArrayWrapper for DataVariable {
type Wrapped<'a> = &'a DataVariable;
unsafe fn wrap_raw<'a>(raw: &'a Self::Raw, _context: &'a Self::Context) -> Self::Wrapped<'a> {
- // TODO this is not always valid, because the type is not transparent
mem::transmute(raw)
}
}