Implement existential types - #52024

Merged

bors merged 16 commits into

rust-lang:masterfrom

oli-obk:existential_parse

Jul 19, 2018

Commits on Jul 18, 2018

Implement existential types
oli-obk
committed
53d2ebb
Typeck existential types properly
oli-obk
committed
3e215a3
Only check existential types, not the desugared impl Trait
oli-obk
committed
2ed1aca
Add test for using existential types in associated types
oli-obk
committed
4e8cc76
Don't call `local_def_id` twice on the same node id
oli-obk
committed
160cbda
default impls for methods can contain existential types inside
oli-obk
committed
6e09d91
Move some tests around
oli-obk
committed
3535159
Split monster tests into smaller ones
oli-obk
committed
0f05b4b
More documentation
oli-obk
committed
41b0315
Simplify defining scope logic
oli-obk
committed
8c1b0d7
Match ergonomics
oli-obk
committed
240fcdf
Check lifetimes on existential types
oli-obk
committed
feb139f
Prepare for using wfcheck on existential types
oli-obk
committed
fdd719a
Add some tests around associated types
oli-obk
committed
f3b4492
Adjust run pass test to stricter existential type rules
oli-obk
committed
442d5d8

Commits on Jul 19, 2018

Generate a page for existential types
oli-obk
committed
9017f79