blob: f780d171fee8e029030a462fb5a6fd0370af26a1 [file] [log] [blame]
// 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: std::marker::Sized {
let x = t.get(); //~ ERROR the size for values of type
}
fn main() {
}