Type inference on generic type field access

[powerboat9]

I tried this code:

pub struct S<T>(T);

pub fn foo<T>(x: T) {
    let y = S(x);
    y.0;
}

I expected to see this happen: no error

Instead, this happened:

test.rs:5:5: error: type annotations needed

Meta

• git sha 3ccf008b148455c4800f2a7c70be03e1dd708c59

[philberty]

I have a feeling this is going to get fixed with my work on #2330 as the issue is we are injecting too many inference variables in coercion sites at the moment.

[philberty]

This is a bug in our block expression handling hmm there is another issue which has the same problem.

[philberty]

no found the issue finally it was much simpler than i thought