[Universes] Indirection allows calling of invalid trait method

[matthewjasper]

The following code has different behaviour depending on whether the associated function is called directly or through a method call. For example:

trait X {
    type G;
    fn make_g() -> Self::G;
}

impl<'a> X for fn(&'a ()) {
    type G = &'a ();

    fn make_g() -> Self::G {
        &()
    }
}

fn indirect<T: X>() {
    let x = T::make_g();
}

fn call_indirect() {
    indirect::<fn(&())>(); // OK
}

fn direct() {
    let x = <fn(&())>::make_g(); //~ ERROR
}

cc @nikomatsakis

[Noratrieb]

This errors with

error: implementation of `X` is not general enough
  --> src/lib.rs:19:5
   |
19 |     indirect::<fn(&())>(); // OK
   |     ^^^^^^^^^^^^^^^^^^^^^ implementation of `X` is not general enough
   |
   = note: `X` would have to be implemented for the type `for<'a> fn(&'a ())`
   = note: ...but `X` is actually implemented for the type `fn(&'0 ())`, for some specific lifetime `'0`

So I think the issue has been fixed?
I don't see a test in the backlinked PR though.