Open
Description
openedon Jan 22, 2024
With #120104, a function with a ! pattern in a binding is detected as diverging:
fn never_arg(!: Void) -> ! {}
fn never_let(x: Void) -> ! {
let ! = x;
}This doesn't work the arguments of an async fn however:
async fn never_let(x: Void) -> ! {
let ! = x;
} // ok
async fn never_arg(!: Void) -> ! {} // ERROR mistmatched typesSign up for free to join this conversation on GitHub. Already have an account? Sign in to comment