1
Fork 0
rust/compiler/rustc_trait_selection/src
bors 1eb187c16e Auto merge of #88139 - lcnr:marker-trait-attr, r=nikomatsakis
marker_traits: require `EvaluatedToOk` during winnowing

closes #84955, while it doesn't really fix it in a way that makes me happy it should prevent the issue for now and this
test can't be reproduced anyways, so it doesn't make much sense to keep it open.

fixes #84917 as only one of the impls depends on regions, so we now drop the ambiguous one instead of the correct one.

cc https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/winnowing.20soundly/near/247899832

r? `@nikomatsakis`
2021-08-22 10:44:38 +00:00
..
traits Auto merge of #88139 - lcnr:marker-trait-attr, r=nikomatsakis 2021-08-22 10:44:38 +00:00
autoderef.rs Combine individual limit queries into single limits query 2021-07-04 13:02:51 -05:00
infer.rs Add initial implementation of HIR-based WF checking for diagnostics 2021-07-16 16:29:02 -05:00
lib.rs Refactor vtable format. 2021-07-20 22:14:42 +08:00
opaque_types.rs introduce a Coerce predicate 2021-08-19 17:28:24 -04:00