support overlap for marker traits about chalk

[nikomatsakis]

cc @mikeyhew

cc @withoutboats -- do you think further changes are needd in coherence?

[lqd]

I'd like to try this if that's ok :)

@nikomatsakis to add the keyword to the parser, should we ensure #[auto] and #[marker] can or can't be used at the same time ? (maybe it doesn't matter).

Should we also add the #[marker] attribute to the other marker traits in the solver tests ? (the ones named Marker specifically, since most other tests are marker traits as well ?)

btw I quickly prototyped the steps in the issue, and indeed nothing more seems to be needed to solve the problem.

EDIT: In the meantime I've opened #64 as WIP with those questions

[mikeyhew]

@lqd I was going to take this on, but I'm already busy with an issue from rust-lang/rust, and you seem to have a good idea of what needs to be done here, so go for it :) When I'm finished with the compiler issue, I'm sure @nikomatsakis will have more issues to work on for chalk.

#[auto] and #[marker] can both be used at the same time – think of Send and Sync. As for adding #[marker] to traits in the existing tests, that sounds like a good idea, but I'll let @nikomatsakis or @withoutboats direct you there. There is one test case though that I added in #61, partial_overlap_3, which currently doesn't pass, and should pass once you implement this and add a #[marker] attribute to the Marker trait.

[lqd]

@mikeyhew thanks for the comment ! As you mentioned, partial_overlap_3 indeed passes successfully with #64