2019-10-09 08:50:39 -04:00
|
|
|
// Regression test for #65159. We used to ICE.
|
|
|
|
|
//
|
|
|
|
|
// edition:2018
|
|
|
|
|
|
2021-01-02 19:45:11 +01:00
|
|
|
async fn copy() -> Result<()>
|
|
|
|
|
//~^ ERROR this enum takes 2 type arguments but only 1 type argument was supplied
|
2019-10-09 08:50:39 -04:00
|
|
|
{
|
|
|
|
|
Ok(())
|
2020-09-26 17:56:03 +01:00
|
|
|
//~^ ERROR type annotations needed
|
2019-10-09 08:50:39 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
fn main() { }
|