feat: auto-import traits when suggesting trait methods

[asterite]

Description

Problem

Part of #6956

Summary

LSP will now auto-import a trait when completing trait methods:

Additional Context

There's a bug now, where if a trait is private but is exposed by a public import, the trait is imported but it leads to a "private" error:

Rust Analyzer, somehow, will suggest the first public use it finds for that alias... we could try to do the same thing (no idea how yet 😅) but I'd leave that to another PR.

Documentation

Check one:

• No documentation needed.
• Documentation included in this PR.
• [For Experimental Features] Documentation to be submitted in a separate PR.

PR Checklist

• I have tested the changes locally.
• I have formatted the changes with Prettier and/or cargo fmt on default settings.

[github-actions]

Execution Memory Report

Program	Peak Memory
keccak256	74.67M
workspace	123.47M
regression_4709	316.00M
ram_blowup_regression	512.61M
rollup-base-public	478.83M
rollup-base-private	325.43M
private-kernel-tail	180.43M
private-kernel-reset	245.12M
private-kernel-inner	208.51M

[github-actions]

Compilation Memory Report

Program	Peak Memory
keccak256	78.13M
workspace	123.91M
regression_4709	424.09M
ram_blowup_regression	1.58G
rollup-base-public	4.85G
rollup-base-private	1.26G
private-kernel-tail	207.14M
private-kernel-reset	669.22M
private-kernel-inner	294.36M

[github-actions]

Compilation Report

Program	Compilation Time	%
sha256_regression	1.366s	5%
regression_4709	0.844s	5%
ram_blowup_regression	18.700s	3%
rollup-root	3.336s	-2%
rollup-merge	1.998s	1%
rollup-block-merge	3.744s	13%
rollup-base-public	39.720s	-2%
rollup-base-private	12.520s	1%
private-kernel-tail	0.971s	-5%
private-kernel-reset	6.394s	-1%
private-kernel-inner	2.032s	-5%

[github-actions]

Execution Report

Program	Execution Time	%
sha256_regression	0.051s	0%
regression_4709	0.001s	0%
ram_blowup_regression	0.611s	2%
rollup-root	0.104s	-1%
rollup-merge	0.007s	16%
rollup-block-merge	0.106s	1%
rollup-base-public	1.228s	0%
rollup-base-private	0.451s	-1%
private-kernel-tail	0.019s	0%
private-kernel-reset	0.310s	-1%
private-kernel-inner	0.067s	-2%

[jfecher]

Very nice!

[TomAFrench]

This seems to be causing some problems in aztec-packages.

[TomAFrench]

On second thoughts this might just be uncovering an underlying issue... On the sync PR in the bloblib in blob.nr, if I try to use the autoimport to import BigNumTrait, the import at the top goes from

use bigint::BigNum;

to

use bigint::{BigNum, bignum::BigNumTrait};

However when saving the file this then becomes

use bigint::BigNum::{self, BigNumTrait};

which is invalid.

[asterite]

Interesting! It seems the formatter is considering "BigNum" and "bignum" to be the same. I'll send a fix soon.