Open nikomatsakis opened 2 years ago
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
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