about summary refs log tree commit diff
path: root/tests/ui/delegation/ice-issue-122550.rs
blob: 92c0dda9605434d39cf137c82baa642bcf8b12f4 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#![feature(fn_delegation)]
#![allow(incomplete_features)]

trait Trait {
    fn description(&self) -> &str {}
    //~^ ERROR mismatched types
}

struct F;
struct S(F);

impl S {
    reuse <S as Trait>::description { &self.0 }
    //~^ ERROR mismatched types
    //~| ERROR the trait bound `S: Trait` is not satisfied
}

fn main() {}