]> git.proxmox.com Git - rustc.git/blame - src/test/compile-fail/trait-coercion-generic-bad.rs
Imported Upstream version 1.9.0+dfsg1
[rustc.git] / src / test / compile-fail / trait-coercion-generic-bad.rs
CommitLineData
223e47cc
LB
1// Copyright 2012 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.
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
1a4d82fc
JJ
11struct Struct {
12 person: &'static str
223e47cc
LB
13}
14
1a4d82fc
JJ
15trait Trait<T> {
16 fn f(&self, x: T);
223e47cc
LB
17}
18
1a4d82fc
JJ
19impl Trait<&'static str> for Struct {
20 fn f(&self, x: &'static str) {
21 println!("Hello, {}!", x);
223e47cc
LB
22 }
23}
24
223e47cc 25fn main() {
c34b1796
AL
26 // FIXME (#22405): Replace `Box::new` with `box` here when/if possible.
27 let s: Box<Trait<isize>> = Box::new(Struct { person: "Fred" });
54a0048b 28 //~^ ERROR `Struct: Trait<isize>` is not satisfied
1a4d82fc 29 s.f(1);
223e47cc 30}