blob: 7a8a12c2a93afb77069552dc1fedb5c327ea11c9 (
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
41
|
// This previously caused an ICE at:
// librustc/traits/structural_impls.rs:180: impossible case reached
#![no_main]
use std::borrow::Borrow;
use std::io;
use std::io::Write;
trait Constraint {}
struct Container<T> {
t: T,
}
struct Borrowed;
struct Owned;
impl<'a, T> Write for &'a Container<T>
where
T: Constraint,
&'a T: Write,
{
fn write(&mut self, buf: &[u8]) -> io::Result<usize> {
Ok(buf.len())
}
fn flush(&mut self) -> io::Result<()> {
Ok(())
}
}
impl Borrow<Borrowed> for Owned {
fn borrow(&self) -> &Borrowed {
&Borrowed
}
}
fn func(owned: Owned) {
let _: () = Borrow::borrow(&owned); //~ ERROR mismatched types
}
|