about summary refs log tree commit diff
path: root/tests/ui/coherence/coherence-overlap-negate-use-feature-gate.rs
blob: a0ddbc36cbbb96ff5767a9d9ef9142b480bf16ee (plain)
1
2
3
4
5
6
7
8
9
10
11
//@ check-pass

#![feature(with_negative_coherence)]

use std::ops::DerefMut;

trait Foo {}
impl<T: DerefMut> Foo for T {}
impl<U> Foo for &U {}

fn main() {}