about summary refs log tree commit diff
path: root/src/rustllvm/RustWrapper.cpp
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2017-12-06 10:36:09 +0000
committerbors <bors@rust-lang.org>2017-12-06 10:36:09 +0000
commit632ad19135a1f38c42761270ffc8a0d977b1db4c (patch)
treeea05ba7afb0b82c803ffe7cad03fe010a6a8b299 /src/rustllvm/RustWrapper.cpp
parenta62910baca04512daa08d0f3867e47a65ab0fdcd (diff)
parent425c2c3606c275851da2b78465323a342ab5b2f9 (diff)
downloadrust-632ad19135a1f38c42761270ffc8a0d977b1db4c.tar.gz
rust-632ad19135a1f38c42761270ffc8a0d977b1db4c.zip
Auto merge of #46192 - arielb1:locally-coherent, r=nikomatsakis
coherence: fix is_knowable logic

A trait-ref that passes the orphan-check rules can still be implemented in a crate downstream from our crate (for example, `LocalType for LocalTrait<_>` might be matched by a `LocalType for LocalTrait<TypeFromDownstreamCrate>`), and this should be known by the `is_knowable`  logic.

Trait selection had a hackfix for this, but it's an hacky fix that does not handle all cases. This patch removes it.

fixes #43355.

r? @nikomatsakis

Needs a crater run
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions