diff options
Diffstat (limited to 'src/test/ui/associated-types/point-at-type-on-obligation-failure-2.rs')
-rw-r--r-- | src/test/ui/associated-types/point-at-type-on-obligation-failure-2.rs | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/src/test/ui/associated-types/point-at-type-on-obligation-failure-2.rs b/src/test/ui/associated-types/point-at-type-on-obligation-failure-2.rs deleted file mode 100644 index 4b3d6e9d6..000000000 --- a/src/test/ui/associated-types/point-at-type-on-obligation-failure-2.rs +++ /dev/null @@ -1,33 +0,0 @@ -trait Bar {} - -trait Foo { - type Assoc: Bar; -} - -impl Foo for () { - type Assoc = bool; //~ ERROR the trait bound `bool: Bar` is not satisfied -} - -trait Baz -where - Self::Assoc: Bar, -{ - type Assoc; -} - -impl Baz for () { - type Assoc = bool; //~ ERROR the trait bound `bool: Bar` is not satisfied -} - -trait Bat -where - <Self as Bat>::Assoc: Bar, -{ - type Assoc; -} - -impl Bat for () { - type Assoc = bool; //~ ERROR the trait bound `bool: Bar` is not satisfied -} - -fn main() {} |