Skip to content

Commit f6bd849

Browse files
committed
---
yaml --- r: 172236 b: refs/heads/beta c: ba87b54 h: refs/heads/master v: v3
1 parent 79dc33e commit f6bd849

File tree

2 files changed

+48
-1
lines changed

2 files changed

+48
-1
lines changed

[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -31,5 +31,5 @@ refs/heads/automation-fail: 1bf06495443584539b958873e04cc2f864ab10e4
3131
refs/heads/issue-18208-method-dispatch-3-quick-reject: 2009f85b9f99dedcec4404418eda9ddba90258a2
3232
refs/heads/batch: b5571ed71a5879c0495a982506258d5d267744ed
3333
refs/heads/building: 126db549b038c84269a1e4fe46f051b2c15d6970
34-
refs/heads/beta: 9b5fb6091a99dc7675c79bfc758ae2ecb3a8cc96
34+
refs/heads/beta: ba87b540a4521282aa26fee4d3394befee978351
3535
refs/heads/windistfix: 7608dbad651f02e837ed05eef3d74a6662a6e928
Lines changed: 47 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,47 @@
1+
// Copyright 2015 The Rust Project Developers. See the COPYRIGHT
2+
// file at the top-level directory of this distribution and at
3+
// http://rust-lang.org/COPYRIGHT.
4+
//
5+
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6+
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7+
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8+
// option. This file may not be copied, modified, or distributed
9+
// except according to those terms.
10+
11+
// Check that we properly record borrows when we are doing an
12+
// overloaded, autoderef of a value obtained via an overloaded index
13+
// operator. The accounting of the all the implicit things going on
14+
// here is rather subtle. Issue #20232.
15+
16+
use std::ops::{Deref, Index};
17+
18+
struct MyVec<T> { x: T }
19+
20+
impl<T> Index<usize> for MyVec<T> {
21+
type Output = T;
22+
fn index(&self, _: &usize) -> &T {
23+
&self.x
24+
}
25+
}
26+
27+
struct MyPtr<T> { x: T }
28+
29+
impl<T> Deref for MyPtr<T> {
30+
type Target = T;
31+
fn deref(&self) -> &T {
32+
&self.x
33+
}
34+
}
35+
36+
struct Foo { f: usize }
37+
38+
fn main() {
39+
let mut v = MyVec { x: MyPtr { x: Foo { f: 22 } } };
40+
let i = &v[0].f;
41+
v = MyVec { x: MyPtr { x: Foo { f: 23 } } };
42+
//~^ ERROR cannot assign to `v`
43+
read(*i);
44+
}
45+
46+
fn read(_: usize) { }
47+

0 commit comments

Comments
 (0)