Add support for default trait implementations#21689

Merged

bors merged 32 commits into

rust-lang:masterfrom

flaper87:oibit-send-and-friends

Feb 24, 2015

Commits on Feb 22, 2015

Add support for default trait impls in libsyntax
flaper87
committed
Fix fallout from libsyntax implementation
flaper87
committed
look for default trait candidates
flaper87
committed
Prefer other implementations over default ones
flaper87
committed
Don't allow default impls for traits outside their crate
flaper87
committed
Add negative impls for `*const T` and `*mut T`
flaper87
committed
Add negative impls for Sync
flaper87
committed
Fix rustdoc fallout
flaper87
committed
Ensure default trait impls hold
flaper87
committed
Use a Vec<N> instead of VecPerParamSpace<N>
flaper87
committed
Make default_trait_impls private and add accessor
flaper87
committed
Rename DefTrait to DefaultImpl
flaper87
committed
address nits
flaper87
committed
Coherence for default trait implementations
flaper87
committed
Make Send/Sync go through the default implementation path
flaper87
committed
Some nits and cleanup

nikomatsakis
authored and
flaper87
committed
Fix error codes
flaper87
committed
Test all the things
flaper87
committed
Add new test case showing that supertraits are not enough

nikomatsakis
authored and
flaper87
committed
check supertraits
flaper87
committed
some comments and nits

nikomatsakis
authored and
flaper87
committed
mark candidate set ambig for defaulted traits where self-type is not yet known

nikomatsakis
authored and
flaper87
committed
Check constituent types are known
flaper87
committed
Don't report bug for IntVar and FloatVar
flaper87
committed
fix treatment of parameters and associated types

nikomatsakis
authored and
flaper87
committed
tweak exhaustive matching of ty_infer

nikomatsakis
authored and
flaper87
committed
Record default implementations in a separate step
flaper87
committed
Add new test for impl precedence and remove unnecessary coherence rules that prevent the test from compiling.

nikomatsakis
authored and
flaper87
committed
Restore the coherence visitor and fix fallouts
flaper87
committed
allow negative impls for traits that have a default impl
flaper87
committed
Fix test fallouts
flaper87
committed
Add additional test case for superregion

nikomatsakis
authored and
flaper87
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Add support for default trait implementations#21689

Add support for default trait implementations#21689
bors merged 32 commits into
rust-lang:masterfrom
flaper87:oibit-send-and-friends

Commits on Feb 22, 2015

Add support for default trait impls in libsyntax

Fix fallout from libsyntax implementation

look for default trait candidates

Prefer other implementations over default ones

Don't allow default impls for traits outside their crate

Add negative impls for `const T` and `mut T`

Add negative impls for Sync

Fix rustdoc fallout

Ensure default trait impls hold

Use a Vec<N> instead of VecPerParamSpace<N>

Make default_trait_impls private and add accessor

Rename DefTrait to DefaultImpl

address nits

Coherence for default trait implementations

Make Send/Sync go through the default implementation path

Some nits and cleanup

Fix error codes

Test all the things

Add new test case showing that supertraits are not enough

check supertraits

some comments and nits

mark candidate set ambig for defaulted traits where self-type is not yet known

Check constituent types are known

Don't report bug for IntVar and FloatVar

fix treatment of parameters and associated types

tweak exhaustive matching of ty_infer

Record default implementations in a separate step

Add new test for impl precedence and remove unnecessary coherence rules that prevent the test from compiling.

Restore the coherence visitor and fix fallouts

allow negative impls for traits that have a default impl

Fix test fallouts

Add additional test case for superregion