F* backend extremely slow at one example

[W95Psp]

The following snippet of code is processed very slowly by the F* backend:

async fn test() -> Result<(), u8> {
    Ok(())
}

We are probably doing some kind of footgun somewhere in the backend, we should investigate.