blob: 1177ade683164775ca8e0b5f7fb2669c37eecb71 (
plain)
| 1
2
3
4
5
6
7
8
9
10
11
12
13
 | pub struct Outside<T>(T);
pub fn no_match<U, V>(a: Outside<U>, b: Outside<V>) -> (Outside<U>, Outside<V>) {
    unimplemented!();
}
pub fn no_match_2<U, V>(a: Outside<V>, b: Outside<U>) -> (Outside<U>, Outside<V>) {
    unimplemented!();
}
pub fn should_match_3<U>(a: Outside<U>, b: Outside<U>) -> (Outside<U>, Outside<U>) {
    unimplemented!();
}
 |