Skip to content

[RFC] Clarify (and improve) rules for projections and well-formedness #1214

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Merged
merged 10 commits into from
Aug 7, 2015
Merged

[RFC] Clarify (and improve) rules for projections and well-formedness #1214

Changes from all commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
7902a6d
Initial version.
nikomatsakis Jul 17, 2015
bcc727f
Correct issue #.
nikomatsakis Jul 17, 2015
6b07c20
add clause that says that an object type is WF only if the
nikomatsakis Jul 17, 2015
ffeccfd
discuss type aliases a bit more
nikomatsakis Jul 17, 2015
fb3ef33
Apply various clarifications based on suggestions
nikomatsakis Jul 20, 2015
5614b94
Add text documenting the impact on crates.io
nikomatsakis Aug 6, 2015
b17fdb8
pnkfelix nits
nikomatsakis Aug 6, 2015
af21352
correct some out of date text that Ralf identified
nikomatsakis Aug 6, 2015
abcd4be
rewrite the inference section to be less reliant on the compiler
nikomatsakis Aug 7, 2015
a3d22d8
clarify object type fragments
nikomatsakis Aug 7, 2015
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading