error on empty export_name#155515

rust-bors[bot] merged 1 commit into

rust-lang:mainrust-lang/rust:mainfrom

folkertdev:export-name-not-emptyfolkertdev/rust:export-name-not-emptyCopy head branch name to clipboard