|
//@ 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() {
|
|
}
|