// aux-build:not-object-safe.rs

extern crate not_object_safe;

pub trait B where
    Self: not_object_safe::A,
{
    fn f2(&self);
}

struct S(Box<dyn B>);
//~^ ERROR the trait `B` cannot be made into an object

fn main() {}