//@ run-pass
#![allow(dead_code)]
// Possibly-dynamic size of typaram should be cleared at pointer boundary.
//@ pretty-expanded FIXME #23616
fn bar<T: Sized>() { }
fn foo<T>() { bar::<Box<T>>() }
pub fn main() { }