diff options
Diffstat (limited to 'tests/ui/associated-types/associated-types-for-unimpl-trait.fixed')
-rw-r--r-- | tests/ui/associated-types/associated-types-for-unimpl-trait.fixed | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/tests/ui/associated-types/associated-types-for-unimpl-trait.fixed b/tests/ui/associated-types/associated-types-for-unimpl-trait.fixed new file mode 100644 index 000000000..80bbef174 --- /dev/null +++ b/tests/ui/associated-types/associated-types-for-unimpl-trait.fixed @@ -0,0 +1,15 @@ +// run-rustfix +#![allow(unused_variables)] + +trait Get { + type Value; + fn get(&self) -> <Self as Get>::Value; +} + +trait Other { + fn uhoh<U:Get>(&self, foo: U, bar: <Self as Get>::Value) where Self: Get {} + //~^ ERROR the trait bound `Self: Get` is not satisfied +} + +fn main() { +} |