1 files changed, 29 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-31011.rs b/src/test/ui/issues/issue-31011.rs
new file mode 100644
index 000000000..4dead04c2
--- /dev/null
+++ b/src/test/ui/issues/issue-31011.rs
@@ -0,0 +1,29 @@
+macro_rules! log {
+    ( $ctx:expr, $( $args:expr),* ) => {
+        if $ctx.trace {
+        //~^ no field `trace` on type `&T`
+            println!( $( $args, )* );
+        }
+    }
+}
+
+// Create a structure.
+struct Foo {
+  trace: bool,
+}
+
+// Generic wrapper calls log! with a structure.
+fn wrap<T>(context: &T) -> ()
+{
+    log!(context, "entered wrapper");
+    //~^ in this expansion of log!
+}
+
+fn main() {
+    // Create a structure.
+    let x = Foo { trace: true };
+    log!(x, "run started");
+    // Apply a closure which accesses internal fields.
+    wrap(&x);
+    log!(x, "run finished");
+}