]>
git.proxmox.com Git - rustc.git/blob - src/test/compile-fail/issue-39970.rs
1 // Copyright 2017 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
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.
19 impl<'a
> Array
<'a
> for () {
20 type Element
= &'
a ();
23 impl Visit
for () where
24 //(): for<'a> Array<'a, Element=&'a ()>, // No ICE
25 (): for<'a
> Array
<'a
, Element
=()>, // ICE
29 <() as Visit
>::visit();
30 //~^ ERROR type mismatch resolving `for<'a> <() as Array<'a>>::Element == ()`