| //@ 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); | |
| } |