diff options
| author | Rubens Brandao <git@rubens.io> | 2024-04-16 17:03:20 -0300 |
|---|---|---|
| committer | Rubens Brandao <git@rubens.io> | 2024-04-16 17:03:20 -0300 |
| commit | f3c1a3cb3cbdd25d5f556d1ab770f8cbc29fd567 (patch) | |
| tree | 71a6f2e8df93f7ef08bda08caca3a637588cc919 /rust/src/types.rs | |
| parent | 37b51462dcf26dc40ac5d7e82acdfd4cbe754157 (diff) | |
add guard to array with unbound return types
Diffstat (limited to 'rust/src/types.rs')
| -rw-r--r-- | rust/src/types.rs | 2 |
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) } } |
