//@ check-pass
#![allow(bare_trait_objects)]
use std::fmt::Debug;
fn main() {
let x: Box<Debug+> = Box::new(3) as Box<Debug+>; // Trailing `+` is OK
}