// A single lifetime is not parsed as a type.
// `ty` matcher in particular doesn't accept a single lifetime

//@ revisions: e2015 e2021
//@[e2015] edition: 2015
//@[e2021] edition: 2021

macro_rules! m {
    ($t: ty) => {
        let _: $t;
    };
}

fn main() {
    //[e2021]~vv ERROR expected type, found lifetime
    //[e2021]~v ERROR expected type, found lifetime
    m!('static);
    //[e2015]~^ ERROR lifetimes must be followed by `+` to form a trait object type
    //[e2015]~| ERROR lifetimes must be followed by `+` to form a trait object type
    //[e2015]~| ERROR at least one trait is required for an object type
}