// compile-flags: -Zunpretty=normal
// check-pass

fn foo() where T: ~const Bar {}