error[E0308]: mismatched types
  --> $DIR/lazy-nested-obligations-2.rs:15:23
   |
LL |     let _: V<i32> = V(f);
   |                     - ^ types differ
   |                     |
   |                     arguments to this struct are incorrect
   |
   = note: expected associated type `<i32 as With>::F`
                      found fn item `for<'a> fn(&'a str) {f}`
   = help: consider constraining the associated type `<i32 as With>::F` to `for<'a> fn(&'a str) {f}` or calling a method that returns `<i32 as With>::F`
   = note: for more information, visit https://doc.rust-lang.org/book/ch19-03-advanced-traits.html
note: tuple struct defined here
  --> $DIR/lazy-nested-obligations-2.rs:16:16
   |
LL |     pub struct V<T: With>(<T as With>::F);
   |                ^

error[E0308]: mismatched types
  --> $DIR/lazy-nested-obligations-2.rs:21:30
   |
LL |     let _: E3<i32> = E3::Var(f);
   |                      ------- ^ types differ
   |                      |
   |                      arguments to this enum variant are incorrect
   |
   = note: expected associated type `<i32 as With>::F`
                      found fn item `for<'a> fn(&'a str) {f}`
   = help: consider constraining the associated type `<i32 as With>::F` to `for<'a> fn(&'a str) {f}` or calling a method that returns `<i32 as With>::F`
   = note: for more information, visit https://doc.rust-lang.org/book/ch19-03-advanced-traits.html
note: tuple variant defined here
  --> $DIR/lazy-nested-obligations-2.rs:19:9
   |
LL |         Var(<T as With>::F),
   |         ^^^

error: aborting due to 2 previous errors

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