summaryrefslogtreecommitdiffstats
path: root/tests/ui/issues/issue-91489.rs
blob: f028a4a3c6a63235da823458b7c3a9e2db7d7067 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
// check-pass

// regression test for #91489

use std::borrow::Borrow;
use std::borrow::Cow;

pub struct VariantType {}
pub struct VariantTy {}

impl Borrow<VariantTy> for VariantType {
    fn borrow(&self) -> &VariantTy {
        unimplemented!()
    }
}

impl ToOwned for VariantTy {
    type Owned = VariantType;
    fn to_owned(&self) -> VariantType {
        unimplemented!()
    }
}

impl VariantTy {
    pub fn as_str(&self) -> () {}
}

// the presence of this was causing all attempts to call `as_str` on
// `Cow<'_, VariantTy>, including in itself, to not find the method
static _TYP: () = {
    let _ = || {
        // should be found
        Cow::Borrowed(&VariantTy {}).as_str();
    };
};

fn main() {
    // should be found
    Cow::Borrowed(&VariantTy {}).as_str()
}