summaryrefslogtreecommitdiffstats
path: root/third_party/rust/yoke/tests/miri.rs
blob: 0b92af2cc290dfd21187456ac7044f4e99fbd31c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
// This file is part of ICU4X. For terms of use, please see the file
// called LICENSE at the top level of the ICU4X source tree
// (online at: https://github.com/unicode-org/icu4x/blob/main/LICENSE ).

use yoke::Yoke;

// Test for strong protection, should pass under miri with -Zmiri-retag-fields
// See https://github.com/unicode-org/icu4x/issues/3696

fn example(_: Yoke<&'static [u8], Vec<u8>>) {}

#[test]
fn run_test() {
    example(Yoke::attach_to_cart(vec![0, 1, 2], |data| data));
}