// run-rustfix
#![allow(dead_code, unused_variables)]

trait Get {
    type Value: ?Sized;
    fn get(&self) -> <Self as Get>::Value;
}

fn foo<T:Get>(t: T) where <T as Get>::Value: Sized {
    let x = t.get(); //~ ERROR the size for values of type
}

fn main() {
}
