use std::fmt::Debug; // 함께 바인드 될 trait.

#[derive(Debug)]
struct Ref<'a, T: 'a>(&'a T);
// `Ref`는 제네릭 타입 `T`에 참조를 포함하고 이는 알 수 없는 생명주기
// `'a`를 갖는다. `T`가 바인드 될 수 있는 모든 *참조*는 반드시 `'a`보다
// 오래 유지되어야 한다. 추가로, `Ref`의 생명주기는 `'a`를 초과할 수 없다.

// `Debug` trait을 사용해 출력하는 제네릭 함수.
fn print<T>(t: T) where
    T: Debug {
    println!("`print`: t is {:?}", t);
}

// `Debug`를 구현하는 `'a`보다 오래 유지되는 `T`에 대한 모든 *참조*를
// 취한다. 또한 `'a`는 반드시 함수보다 오래 유지되어야 한다.
fn print_ref<'a, T>(t: &'a T) where
    T: Debug + 'a {
    println!("`print_ref`: t is {:?}", t);
}

fn main() {
    let x = 7;
    let ref_x = Ref(&x);

    print_ref(&ref_x);
    print(ref_x);
}