| // Tests that using fulfillment in the trait solver means that we detect that a |
| // method is impossible, leading to no ambiguity. |
| //@ check-pass |
| //@ revisions: current next |
| //@ ignore-compare-mode-next-solver (explicit revisions) |
| //@[next] compile-flags: -Znext-solver |
| |
| struct W<T, U>(Option<T>, Option<U>); |
| |
| impl<'a> W<fn(&'a ()), u32> { |
| fn method(&self) {} |
| } |
| |
| trait Leak {} |
| impl<T: Fn(&())> Leak for T {} |
| |
| impl<T: Leak> W<T, i32> { |
| fn method(&self) {} |
| } |
| |
| fn test<'a>() { |
| let x: W<fn(&'a ()), _> = W(None, None); |
| x.method(); |
| } |
| |
| fn main() {} |
