error[E0599]: no method named `method` found for reference `&impl Sized` in the current scope
  --> $DIR/would-constrain-opaque.rs:28:11
   |
LL |         x.method();
   |           ^^^^^^ method not found in `&impl Sized`
   |
   = help: items from traits can only be used if the trait is implemented and in scope
note: `Trait` defines an item `method`, perhaps you need to implement it
  --> $DIR/would-constrain-opaque.rs:15:1
   |
LL | trait Trait: Sized {
   | ^^^^^^^^^^^^^^^^^^

error[E0599]: no method named `method` found for reference `&impl Sized` in the current scope
  --> $DIR/would-constrain-opaque.rs:30:11
   |
LL |         x.method();
   |           ^^^^^^ method not found in `&impl Sized`
   |
   = help: items from traits can only be used if the trait is implemented and in scope
note: `Trait` defines an item `method`, perhaps you need to implement it
  --> $DIR/would-constrain-opaque.rs:15:1
   |
LL | trait Trait: Sized {
   | ^^^^^^^^^^^^^^^^^^

error: aborting due to 2 previous errors

For more information about this error, try `rustc --explain E0599`.