a-mir-formality icon indicating copy to clipboard operation
a-mir-formality copied to clipboard

Published 20 hours ago • verified publisher icon rust-lang

Negative impls (with feature gate)

Open nikomatsakis opened this issue 3 years ago • 1 comments

nikomatsakis avatar Jun 25 '22 10:06 nikomatsakis

I believe this may already have been implemented? E.g. the following test is part of the passing test suite: https://github.com/rust-lang/a-mir-formality/blob/ca14d9941244eefc472a24895515cc278244534f/tests/coherence_overlap.rs#L149-L153

edit: landed in https://github.com/rust-lang/a-mir-formality/pull/123

yoshuawuyts avatar Jun 29 '23 10:06 yoshuawuyts