Fixed type inference false positive in let and generalization #423

	name: CI

	on:
	pull_request:
	branches: [main, dev]
	push:
	branches: [main, dev]
	workflow_dispatch:

	permissions:
	contents: read

	jobs:
	cargo_test:
	name: "cargo test (OS: ${{ matrix.config.os }}"
	runs-on: ${{ matrix.config.os }}
	strategy:
	fail-fast: false
	matrix:
	config:
	- { os: ubuntu-latest }
	# - { os: macOS-latest }
	# - { os: windows-latest }

	steps:
	- uses: actions/checkout@v4

	- name: Set up Rust
	uses: dtolnay/rust-toolchain@master
	with:
	toolchain: nightly
	- name: Install system requirements for Linux
	if: runner.os == 'Linux'
	run: \|
	sudo apt update -y
	sudo apt install -y libasound2-dev
	- name: Cache cargo registry
	uses: actions/cache@v4
	with:
	path: \|
	~/.cargo/bin/
	~/.cargo/registry/index/
	~/.cargo/registry/cache/
	~/.cargo/git/db/
	target/
	key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}

	- run: cargo test

Provide feedback