Skip to content

Commit a440fab

Browse files
committed
---
yaml --- r: 172690 b: refs/heads/try c: ba87b54 h: refs/heads/master v: v3
1 parent 6070d4d commit a440fab

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
@@ -2,7 +2,7 @@
22
refs/heads/master: 170c4399e614fe599c3d41306b3429ca8b3b68c6
33
refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
44
refs/heads/snap-stage3: 5b3cd3900ceda838f5798c30ab96ceb41f962534
5-
refs/heads/try: 9b5fb6091a99dc7675c79bfc758ae2ecb3a8cc96
5+
refs/heads/try: ba87b540a4521282aa26fee4d3394befee978351
66
refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
77
refs/heads/dist-snap: ba4081a5a8573875fed17545846f6f6902c8ba8d
88
refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
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)