proc and closure expressions do not accept `!` as a return type

[ftxqxd]

Example:

fn main() {
    // This is fine
    let x: proc() -> ! = proc() { loop {} }
    // error: expected type, found token NOT
    let y = proc() -> ! { loop {} }
}