//@ known-bug: #130627

#![feature(trait_alias)]

trait Test {}

#[diagnostic::on_unimplemented(
    message="message",
    label="label",
    note="note"
)]
trait Alias = Test;

// Use trait alias as bound on type parameter.
fn foo<T: Alias>(v: &T) {
}

pub fn main() {
    foo(&1);
}