#![feature(pin)]

use std::mem::PinMut;

trait Future {}

trait Async: where for<'a> PinMut<'a, Self>: Future {}

fn main() {}