about summary refs log tree commit diff
path: root/tests/ui/parser/recover-hrtb-before-dyn-impl-kw.rs
blob: b78832bbe3dc05a97a82e1a5b5b9ca2240aeca1f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
//@ edition: 2015

trait Trait {}

fn test(_: &for<'a> dyn Trait) {}
//~^ ERROR `for<...>` expected after `dyn`, not before

fn test2(_: for<'a> impl Trait) {}
//~^ ERROR `for<...>` expected after `impl`, not before

// Issue #118564
type A2 = dyn<for<> dyn>;
//~^ ERROR expected identifier, found `>`

fn main() {}