Postcondition macro crashes when used on functions with no parameters

[yannbolliger]

Adding a postcondition to a function without any parameters crashes the macro:

#[post(ret)]
fn test() -> bool { true }