Niko Matsakis 0d56699d41 If we find a blanket impl for Trait but we're matching on an object ...

`Trait`, prefer the object. Also give a nice error for attempts to
manually `impl Trait for Trait`, since they will be ineffectual.

Fixes #24015.

Fixes #24051.
Fixes #24037.
Fixes #23853.
Fixes #21942.
cc #21756.

2015-04-06 06:12:51 -04:00

..

check

Remove *most* mentions of phantom fns and variance on traits. Leave some

2015-04-02 13:25:06 -04:00

coherence

If we find a blanket impl for Trait but we're matching on an object

2015-04-06 06:12:51 -04:00

astconv.rs

Tidying up and reformatting

2015-04-01 14:07:19 +13:00

collect.rs

Fallout out rustc

2015-04-01 11:22:39 -04:00

constrained_type_params.rs

Report errors for type parameters that are not constrained, either by

2015-02-18 10:24:55 -05:00

diagnostics.rs

If we find a blanket impl for Trait but we're matching on an object

2015-04-06 06:12:51 -04:00

lib.rs

Refactored ty::ctxt so node_types mutations must go through ty methods.

2015-04-01 02:56:07 +02:00

rscope.rs

Fallout out rustc

2015-04-01 11:22:39 -04:00

variance.rs

Remove *most* mentions of phantom fns and variance on traits. Leave some

2015-04-02 13:25:06 -04:00