error[E0599]: no method named `method` found for type parameter `impl Deref<Target : module::Trait>` in the current scope
  --> $DIR/rigid-alias-bound-is-not-inherent-2.rs:13:7
   |
LL | fn foo(x: impl Deref<Target: module::Trait>) {
   |           --------------------------------- method `method` not found for this type parameter
LL |     x.method();
   |       ^^^^^^ method not found in `impl Deref<Target : module::Trait>`
   |
   = help: items from traits can only be used if the trait is in scope
help: trait `Trait` which provides `method` is implemented but not in scope; perhaps you want to import it
   |
LL + use module::Trait;
   |

error: aborting due to 1 previous error

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