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