]> git.lizzy.rs Git - rust.git/blob - tests/ui/wf/wf-inherent-impl-method-where-clause.rs
Rollup merge of #106605 - notriddle:notriddle/outdated-rustbook, r=GuillaumeGomez
[rust.git] / tests / ui / wf / wf-inherent-impl-method-where-clause.rs
1 // Test that we check where-clauses on inherent impl methods.
2
3 #![feature(associated_type_defaults)]
4
5 #![allow(dead_code)]
6
7 trait ExtraCopy<T:Copy> { }
8
9 struct Foo<T,U>(T,U);
10
11 impl<T,U> Foo<T,U> {
12     fn foo(self) where T: ExtraCopy<U> //~ ERROR E0277
13     {}
14 }
15
16
17 fn main() { }