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

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