Type inference regression for Vec in forc 0.62.0+

[Lukasz2891]

Related Component

compiler

Problem

library;

use std::vec::*;

impl<T> Vec<T> {
    pub fn with(self, value: T) -> Self {
        let mut vec = self;
        vec.push(value);

        vec
    }
}

#[test]
fn test_with_two_values() {
    let data = Vec::new().with(0x333u256).with(0x222u256);

    assert(data.len() == 2);
}

gives the following error:

error
   --> .../.forc/git/checkouts/std-9be0d6062747ea7/f55c81cce61aac31913ac0e87306cbaed7da679a/sway-lib-std/src/vec.sw:144:16
    |
142 | 
143 | /// A contiguous growable array type, written as `Vec<T>`, short for 'vector'. It has ownership over its buffer.
144 | pub struct Vec<T> {
    |                ^ Cannot infer type for type parameter "T". Insufficient type information provided. Try annotating its type.
145 |     buf: RawVec<T>,
146 |     len: u64,
    |
____

error
  --> .../.forc/git/checkouts/std-9be0d6062747ea7/f55c81cce61aac31913ac0e87306cbaed7da679a/sway-lib-std/src/vec.sw:33:26
   |
31 | 
32 |         Self {
33 |             ptr: alloc::<T>(0),
   |                          ^ Cannot infer type for type parameter "T". Insufficient type information provided. Try annotating its type.
34 |             cap: 0,
35 |         }
   |
____

error
   --> .../.forc/git/checkouts/std-9be0d6062747ea7/f55c81cce61aac31913ac0e87306cbaed7da679a/sway-lib-std/src/vec.sw:172:9
    |
170 | 
171 |     pub fn new() -> Self {
172 |         Self {
    |         ^^^^ Cannot infer type for type parameter "T". Insufficient type information provided. Try annotating its type.
173 |             buf: RawVec::new(),
174 |             len: 0,
    |
____

Steps

Use the code as above.

The code works properly with forc 0.61.0 but doesn't for 0.62.0+++.

Possible Solution(s)

    let data = Vec::<u256>::new().with(0x333u256).with(0x222u256);

solves the issue

Notes

No response

Installed components

[toolchain]
channel = "testnet"

[components]
fuel-core = "0.35.0"
forc = "0.63.3"