Implement dyn Trait syntax (RFC 2113)

[petrochenkov]

cc #44662
r? @nikomatsakis

[nikomatsakis]

r=me modulo new test

[nikomatsakis]

can we get a test like dyn Vec<T> -- i.e., something not a trait?

[petrochenkov]

@bors r=nikomatsakis

[bors]

📌 Commit f769977 has been approved by nikomatsakis

[aidanhs]

[00:40:50] failures:

[00:40:50] 

[00:40:50] ---- [ui] ui/issue-44406.rs stdout ----

[00:40:50] 	normalized stderr:

[00:40:50] error: expected identifier, found keyword `true`

[00:40:50]   --> $DIR/issue-44406.rs:18:10

[00:40:50]    |

[00:40:50] 18 |     foo!(true);

[00:40:50]    |          ^^^^

[00:40:50] 

[00:40:50] error: expected type, found keyword `true`

[00:40:50]   --> $DIR/issue-44406.rs:18:10

[00:40:50]    |

[00:40:50] 13 |         bar(baz: $rest)

[00:40:50]    |                - help: did you mean to use `;` here?

[00:40:50] ...

[00:40:50] 18 |     foo!(true);

[00:40:50]    |          ^^^^ expecting a type here because of type ascription

[00:40:50] 

[00:40:50] error: expected one of `!`, `&&`, `&`, `(`, `*`, `.`, `;`, `<`, `?`, `[`, `_`, `dyn`, `extern`, `fn`, `for`, `impl`, `unsafe`, `}`, an operator, or lifetime, found `true`

[00:40:50]   --> $DIR/issue-44406.rs:18:10

[00:40:50]    |

[00:40:50] 13 |         bar(baz: $rest)

[00:40:50]    |                 - expected one of 20 possible tokens here

[00:40:50] ...

[00:40:50] 18 |     foo!(true);

[00:40:50]    |          ^^^^ unexpected token

[00:40:50] 

[00:40:50] error: aborting due to 3 previous errors

@bors r-

[petrochenkov]

@bors r=nikomatsakis

[bors]

📌 Commit f1c6247 has been approved by nikomatsakis

[petrochenkov]

@bors r=nikomatsakis

[bors]

📌 Commit 9d37320 has been approved by nikomatsakis

[bors]

⌛ Testing commit 9d37320 with merge 7920a7c...

[bors]

☀️ Test successful - status-appveyor, status-travis
Approved by: nikomatsakis
Pushing 7920a7c to master...