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...