Test one_lt_arg

Source location: tests/functions.rs:39

fn one_lt_arg<'a, T>(v0: &'a T) -> ()
where
    T: 'a, // FIXME(#202): Implied bounds should not have to be explicit
{ trusted }
}])
p_execute()
tc_ok()
)
}

#[test]
ed_return_type() {
alityTest::new(crates![
crate Foo {
    fn simple_fn() { trusted }
    fn one_arg<T>(v0: T) { trusted }
    fn with_where<'a, T>(v0: &'a T)
    where
        T: 'a,
    { trusted }
}

Rules proved (41)

Premises failed (0)

This test records no negative coverage.

Proof trees

How to read this page