]> git.proxmox.com Git - rustc.git/blame - src/test/compile-fail/coherence-projection-conflict-ty-param.rs
Imported Upstream version 1.9.0+dfsg1
[rustc.git] / src / test / compile-fail / coherence-projection-conflict-ty-param.rs
CommitLineData
92a42be0 1// Copyright 2016 The Rust Project Developers. See the COPYRIGHT
223e47cc
LB
2// file at the top-level directory of this distribution and at
3// http://rust-lang.org/COPYRIGHT.
4//
5// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8// option. This file may not be copied, modified, or distributed
9// except according to those terms.
10
92a42be0
SL
11// Coherence error results because we do not know whether `T: Foo<P>` or not
12// for the second impl.
c34b1796 13
92a42be0 14use std::marker::PhantomData;
223e47cc 15
92a42be0
SL
16pub trait Foo<P> {}
17
54a0048b 18impl <P, T: Foo<P>> Foo<P> for Option<T> {}
92a42be0 19
54a0048b 20impl<T, U> Foo<T> for Option<U> { } //~ ERROR E0119
c34b1796 21
223e47cc 22fn main() {}