//@ aux-build:bad-region.rs
//@ edition:2021

#![allow(async_fn_in_trait)]

extern crate bad_region as jewel;

use jewel::BleRadio;

pub struct Radio {}

impl BleRadio for Radio {
//~^ ERROR implicit elided lifetime not allowed here
    async fn transmit(&mut self) {}
}

fn main() {}