1 
#[test]
2 
#[cfg_attr(miri, ignore)]
3
1 
fn test_soundness() {
4
1 
    let t = trybuild::TestCases::new();
5
1 
    t.compile_fail("tests/input/aterm_lifetime.rs");
6
1 
    t.compile_fail("tests/input/aterm_container_lifetime.rs");
7
1 
}