//@ edition:2018

#![feature(async_closure)]

struct S;

fn test(x: impl async S) {}
//~^ ERROR expected trait, found struct `S`

fn missing(x: impl async Missing) {}
//~^ ERROR cannot find trait `Missing` in this scope

fn main() {}