@@ -301,8 +301,6 @@ fn parse_source(source: &str, crate_name: &Option<&str>) -> Result<ParseSourceIn
301301
302302 let filename = FileName :: anon_source_code ( & wrapped_source) ;
303303
304- // Any errors in parsing should also appear when the doctest is compiled for real, so just
305- // send all the errors that librustc_ast emits directly into a `Sink` instead of stderr.
306304 let sm = Arc :: new ( SourceMap :: new ( FilePathMapping :: empty ( ) ) ) ;
307305 let fallback_bundle = rustc_errors:: fallback_fluent_bundle (
308306 rustc_driver:: DEFAULT_LOCALE_RESOURCES . to_vec ( ) ,
@@ -311,7 +309,8 @@ fn parse_source(source: &str, crate_name: &Option<&str>) -> Result<ParseSourceIn
311309 info. supports_color =
312310 HumanEmitter :: new ( stderr_destination ( ColorConfig :: Auto ) , fallback_bundle. clone ( ) )
313311 . supports_color ( ) ;
314-
312+ // Any errors in parsing should also appear when the doctest is compiled for real, so just
313+ // send all the errors that the parser emits directly into a `Sink` instead of stderr.
315314 let emitter = HumanEmitter :: new ( Box :: new ( io:: sink ( ) ) , fallback_bundle) ;
316315
317316 // FIXME(misdreavus): pass `-Z treat-err-as-bug` to the doctest parser
@@ -339,9 +338,6 @@ fn parse_source(source: &str, crate_name: &Option<&str>) -> Result<ParseSourceIn
339338 * prev_span_hi = hi;
340339 }
341340
342- // Recurse through functions body. It is necessary because the doctest source code is
343- // wrapped in a function to limit the number of AST errors. If we don't recurse into
344- // functions, we would thing all top-level items (so basically nothing).
345341 fn check_item ( item : & ast:: Item , info : & mut ParseSourceInfo , crate_name : & Option < & str > ) -> bool {
346342 let mut is_extern_crate = false ;
347343 if !info. has_global_allocator
@@ -351,8 +347,6 @@ fn parse_source(source: &str, crate_name: &Option<&str>) -> Result<ParseSourceIn
351347 }
352348 match item. kind {
353349 ast:: ItemKind :: Fn ( _) if !info. has_main_fn => {
354- // We only push if it's the top item because otherwise, we would duplicate
355- // its content since the top-level item was already added.
356350 if item. ident . name == sym:: main {
357351 info. has_main_fn = true ;
358352 }
@@ -416,44 +410,41 @@ fn parse_source(source: &str, crate_name: &Option<&str>) -> Result<ParseSourceIn
416410 let mut is_extern_crate = false ;
417411 match stmt. kind {
418412 StmtKind :: Item ( ref item) => {
419- is_extern_crate = check_item ( & item, & mut info, crate_name) ;
420- }
421- StmtKind :: Expr ( ref expr) => {
422- if matches ! ( expr. kind, ast:: ExprKind :: Err ( _) ) {
423- reset_error_count ( & psess) ;
424- return Err ( ( ) ) ;
425- }
426- has_non_items = true ;
413+ is_extern_crate = check_item ( item, & mut info, crate_name) ;
427414 }
428415 // We assume that the macro calls will expand to item(s) even though they could
429- // expand to statements and expressions. And the simple fact that we're trying
430- // to retrieve a `main` function inside it is a terrible idea.
416+ // expand to statements and expressions.
431417 StmtKind :: MacCall ( ref mac_call) => {
432- if info. has_main_fn {
433- continue ;
434- }
435- let mut iter = mac_call. mac . args . tokens . iter ( ) ;
436-
437- while let Some ( token) = iter. next ( ) {
438- if let TokenTree :: Token ( token, _) = token
439- && let TokenKind :: Ident ( name, _) = token. kind
440- && name == kw:: Fn
441- && let Some ( TokenTree :: Token ( fn_token, _) ) = iter. peek ( )
442- && let TokenKind :: Ident ( fn_name, _) = fn_token. kind
443- && fn_name == sym:: main
444- && let Some ( TokenTree :: Delimited ( _, _, Delimiter :: Parenthesis , _) ) = {
445- iter. next ( ) ;
446- iter. peek ( )
418+ if !info. has_main_fn {
419+ // For backward compatibility, we look for the token sequence `fn main(…)`
420+ // in the macro input (!) to crudely detect main functions "masked by a
421+ // wrapper macro". For the record, this is a horrible heuristic!
422+ // See <https://github.com/rust-lang/rust/issues/56898>.
423+ let mut iter = mac_call. mac . args . tokens . iter ( ) ;
424+ while let Some ( token) = iter. next ( ) {
425+ if let TokenTree :: Token ( token, _) = token
426+ && let TokenKind :: Ident ( kw:: Fn , _) = token. kind
427+ && let Some ( TokenTree :: Token ( ident, _) ) = iter. peek ( )
428+ && let TokenKind :: Ident ( sym:: main, _) = ident. kind
429+ && let Some ( TokenTree :: Delimited ( .., Delimiter :: Parenthesis , _) ) = {
430+ iter. next ( ) ;
431+ iter. peek ( )
432+ }
433+ {
434+ info. has_main_fn = true ;
435+ break ;
447436 }
448- {
449- info. has_main_fn = true ;
450- break ;
451437 }
452438 }
453439 }
454- _ => {
440+ StmtKind :: Expr ( ref expr) => {
441+ if matches ! ( expr. kind, ast:: ExprKind :: Err ( _) ) {
442+ reset_error_count ( & psess) ;
443+ return Err ( ( ) ) ;
444+ }
455445 has_non_items = true ;
456446 }
447+ StmtKind :: Let ( _) | StmtKind :: Semi ( _) | StmtKind :: Empty => has_non_items = true ,
457448 }
458449
459450 // Weirdly enough, the `Stmt` span doesn't include its attributes, so we need to
0 commit comments