Skip to content

Commit 4f24caa

Browse files
jeremyletangalexcrichton
authored andcommitted
Add test case for issue 7911
1 parent b9a026a commit 4f24caa

File tree

1 file changed

+48
-0
lines changed

1 file changed

+48
-0
lines changed

src/test/run-pass/issue-7911.rs

+48
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,48 @@
1+
// Copyright 2012 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+
// xfail-pretty
12+
13+
// (Closes #7911) Test that we can use the same self expression
14+
// with different mutability in macro in two methods
15+
16+
#[allow(unused_variable)]; // unused foobar_immut + foobar_mut
17+
#[feature(macro_rules)];
18+
19+
trait FooBar {}
20+
struct Bar(i32);
21+
struct Foo { bar: Bar }
22+
23+
impl FooBar for Bar {}
24+
25+
trait Test {
26+
fn get_immut<'r>(&'r self) -> &'r FooBar;
27+
fn get_mut<'r>(&'r mut self) -> &'r mut FooBar;
28+
}
29+
30+
macro_rules! generate_test(($type_:path, $field:expr) => (
31+
impl Test for $type_ {
32+
fn get_immut<'r>(&'r self) -> &'r FooBar {
33+
&$field as &FooBar
34+
}
35+
36+
fn get_mut<'r>(&'r mut self) -> &'r mut FooBar {
37+
&mut $field as &mut FooBar
38+
}
39+
}
40+
))
41+
42+
generate_test!(Foo, self.bar)
43+
44+
pub fn main() {
45+
let mut foo: Foo = Foo { bar: Bar(42) };
46+
{ let foobar_immut = foo.get_immut(); }
47+
{ let foobar_mut = foo.get_mut(); }
48+
}

0 commit comments

Comments
 (0)