Macro error inside of file that gets included with include! yields terrible error

[jdm]

a.rs:

include!("b.rs")

b.rs:

fn main() {
    println!("{}");
}

Compiling a.rs yields:

error: invalid reference to argument `0` (no arguments given)
 --> a.rs:1:1
  |
1 | include!("b.rs");
  | ^^^^^^^^^^^^^^^^^
  |
  = note: this error originates in a macro from the standard library

error: aborting due to previous error

[TimNN]

Related (maybe duplicate of?) to #37663, I think.

[paulstansifer]

I don't believe that this problem is restricted to include!. For example, I had a tough time debugging a a situation like this:

macro_rules! noop {
    ($e:expr) => {$e}
}

fn main() {
    noop!({
        // ... imagine lots of code here ...
        try!(0); // Oops!
        // ... imagine lots of code here ...
    })
}

...yields the following error:

error[E0308]: mismatched types
  --> /tmp/macro.rs:7:5
   |
7  |     noop!({
   |     ^
   |     |
   |     in this macro invocation
   |     expected integral variable, found enum `std::result::Result`
   |
   = note: expected type `{integer}`
   = note:    found type `std::result::Result<_, _>`
   = note: this error originates in a macro outside of the current crate

[more type errors with the same span elided]

[theIDinside]

I get the exact same error, when just trying to compile this;

use std::io::prelude::*;
use std::fs::File;
fn main() {
    let mut f = try!(File::create("foo.txt"));
    try!(f.write_all(b"Hello, world!"));
    try!(f.sync_data());
}

   = note: expected type `()`
   = note:    found type `std::result::Result<_, _>`
   = note: this error originates in a macro outside of the current crate

error: aborting due to 3 previous errors

Using version 1.15.1 stable channel.

[estebank]

CC #38771.

[estebank]

Current output for the original repro case:

error: 1 positional argument in format string, but no arguments were given
 --> b.rs:2:5
  |
2 |     println!("{}");
  |     ^^^^^^^^^^^^^^^
  |
  = note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)

error: aborting due to previous error

Current output for #37719 (comment) (note the repetition):

error[E0308]: mismatched types
 --> file.rs:8:9
  |
8 |         try!(0); // Oops!
  |         ^^^^^^^^ expected integral variable, found enum `std::result::Result`
  |
  = note: expected type `{integer}`
             found type `std::result::Result<_, _>`
  = note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)

error[E0308]: mismatched types
 --> file.rs:8:9
  |
8 |         try!(0); // Oops!
  |         ^^^^^^^^ expected integral variable, found enum `std::result::Result`
  |
  = note: expected type `{integer}`
             found type `std::result::Result<_, _>`
  = note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)

error[E0308]: mismatched types
 --> file.rs:8:9
  |
8 |         try!(0); // Oops!
  |         ^^^^^^^^ expected (), found enum `std::result::Result`
  |
  = note: expected type `()`
             found type `std::result::Result<_, _>`
  = note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)

error: aborting due to 3 previous errors

Current output for #37719 (comment):

error[E0308]: mismatched types
 --> src/main.rs:4:17
  |
4 |     let mut f = try!(File::create("foo.txt"));
  |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected (), found enum `std::result::Result`
  |
  = note: expected type `()`
             found type `std::result::Result<_, _>`
  = note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)

error: aborting due to previous error