1 // run-pass
2 
3 #![allow(dead_code)]
4 // Possibly-dynamic size of typaram should be cleared at pointer boundary.
5 
6 
7 // pretty-expanded FIXME #23616
8 
bar<T: Sized>()9 fn bar<T: Sized>() { }
foo<T>()10 fn foo<T>() { bar::<Box<T>>() }
main()11 pub fn main() { }
12