| // Ensure that the introduction of `const` and `[const]` trait bounds didn't regress this |
| // Rust 2015 code. See also test `macro-const-trait-bound-theoretical-regression.rs`. |
| |
| //@ edition: 2015 |
| //@ check-pass (KEEP THIS AS A PASSING TEST!) |
| |
| macro_rules! check { |
| ($ty:ty) => { compile_error!("ty"); }; // KEEP THIS RULE FIRST AND AS IS! |
| |
| // DON'T MODIFY THE MATCHERS BELOW UNLESS THE CONST TRAIT MODIFIER SYNTAX CHANGES! |
| |
| (dyn $c:ident) => { /* KEEP THIS EMPTY! */ }; |
| (dyn [$c:ident]) => { /* KEEP THIS EMPTY! */ }; |
| } |
| |
| check! { dyn const } |
| check! { dyn [const] } |
| |
| fn main() {} |
