src/test/ui/coherence/re-rebalance-coherence-default-generic-associated-type.rs


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

// run-pass
// aux-build:re_rebalance_coherence_lib-rpass.rs

#![allow(dead_code)]
// check that a generic type with a default value from an associated type can be used without
// specifying the value, and without invoking coherence errors.

extern crate re_rebalance_coherence_lib_rpass as lib;
use lib::*;

struct MyString {}

impl LibToOwned for MyString {
    type Owned = String;
}

impl PartialEq<MyString> for LibCow<MyString> {
    fn eq(&self, _other: &MyString) -> bool {
        // Test that the default type is used.
        let _s: &String = &self.o;

        false
    }
}

fn main() {}