blob: 96c71b084b13e941688d9a7f99738fddcbaf7cbf [file] [log] [blame]
// run-pass
#![allow(dead_code)]
// Test a corner case of LUB coercion. In this case, one arm of the
// match requires a deref coercion and the other doesn't, and there
// is an extra `&` on the `rc`. We want to be sure that the lifetime
// assigned to this `&rc` value is not `'a` but something smaller. In
// other words, the type from `rc` is `&'a Rc<String>` and the type
// from `&rc` should be `&'x &'a Rc<String>`, where `'x` is something
// small.
use std::rc::Rc;
#[derive(Clone)]
enum Cached<'mir> {
Ref(&'mir String),
Owned(Rc<String>),
}
impl<'mir> Cached<'mir> {
fn get_ref<'a>(&'a self) -> &'a String {
match *self {
Cached::Ref(r) => r,
Cached::Owned(ref rc) => &rc,
}
}
}
fn main() { }