Rollup merge of #67531 - RalfJung:tame-promotion, r=nikomatsakis

[rust.git] / src / test / ui / multiple-main-2.rs

#![feature(main)]

#[main]
fn bar() {
}

#[main]
fn foo() { //~ ERROR multiple functions with a `#[main]` attribute
}