Coercing bare fn to &fn is inconsistent in statics.

[jld]

This types:

fn f() { }
struct S(&fn());
pub static C: S = S(f);

This doesn't:

fn f() { }
type T = &fn();
pub static C: T = f;

This seems wrong.

[catamorphism]

Doesn't seem critical for 0.7. Nominating for milestone 2.

[graydon]

Seems like just-a-bug; if fixed, would only admit more code. Declined milestone.

[graydon]

related to #5551

[emberian]

@jld neither typecheck now. Same error:

foo.rs:2:9: 2:14 error: Illegal anonymous lifetime: anonymous lifetimes are not permitted here
foo.rs:2 struct S(&fn());
                  ^~~~~
foo.rs:3:14: 3:16 error: Illegal anonymous lifetime: only 'static is allowed here
foo.rs:3 pub static C: S = S(f);
                       ^~

[jdm]

These are well-typed:

fn f() {}
type T = &'static extern "Rust" fn();
pub static C: T = &f;

 fn f() {}
struct S(&'static extern "Rust" fn());
pub static C: S = S(&f);

I guess this bypasses the coercion, though.

[catamorphism]

I'm about to check in the test case.

[catamorphism]

#10027 will close this.

[pnkfelix]

closed by SHA: 5de50a3