[Idea] `.func(args...)` as a sugar of constructor `InferredType::func(args...)`

[PoignardAzur]

@scottmcm

After all, making the code less specific makes it compile:

let x: Vec<u32> = {
    let mut x = Default::default();
    Extend::extend(&mut x, [0]);
    x
};
dbg!(x);

So that also makes it seem non-obvious that inherent methods need to block type inference that way.

As an aside: it feels like the fact that rustc needs to handle cases like that is part of why its build times are still pretty long, and why after many years and dedicated engineering efforts we still barely manage to implement intra-unit parallel compilation or non-trivial incremental compilation.

I wonder if there's a version of the language that's a little more harsh on these kinds of cases, but where the resulting compiler architecture is much easier to distribute and memoize.