fun main(int): int {
}
/**
@compilation_should_fail
@stderr expected `: <parameter_type>`, got `)`
*/