Skip to content
New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

[WIP] Check more things for well-formedness #25701

Closed
wants to merge 4 commits into from
Closed

[WIP] Check more things for well-formedness #25701

wants to merge 4 commits into from

Commits on May 23, 2015

  1. Make wf check the bounds of built-in types 

    Fixes rust-lang#24957
    @arielb1
    arielb1 committed May 23, 2015
    Configuration menu
    Copy the full SHA
    c6c58e7 View commit details
    Browse the repository at this point in the history

  2. Check the types of extern items 

    Fixes rust-lang#25637.
    @arielb1
    arielb1 committed May 23, 2015
    Configuration menu
    Copy the full SHA
    892666a View commit details
    Browse the repository at this point in the history

  3. Check associated types and consts for well-formedness 

    Because we don't check the well-formedness of region relationships of
an impl's on the Self-type, or infer region relationss from them, many impls
now have to specify their region relations, making this a [breaking-change].

The most common pattern I found that is now broken is that

    impl<'a, T> IntoIterator for &'a Collection<T> {
        type Item = &'a T;
        type IntoIter = ...;
    }

now has to specify its `T: 'a` bound.
    @arielb1
    arielb1 committed May 23, 2015
    Configuration menu
    Copy the full SHA
    3923108 View commit details
    Browse the repository at this point in the history

  4. Make default associated types not parse 

    They don't do anything ATM.

This is a
[breaking-change]
    @arielb1
    arielb1 committed May 23, 2015
    Configuration menu
    Copy the full SHA
    9d2b640 View commit details
    Browse the repository at this point in the history