feat(LSP): suggest trait methods from where clauses

[asterite]

Description

Problem

No issue, just something I noticed while working with traits.

Summary

Previously only into() was suggested here:

Additional Context

This currently doesn't work inside trait methods. While figuring out why I noticed we don't track the trait method location, so I added that. It still didn't work but then I remembered that we currently don't type-check trait methods at all... but I still left the code I changed before that so that when we implement type-checking trait methods it will start working.

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]

Peak Memory Sample

Program	Peak Memory
keccak256	78.48M
workspace	123.79M
regression_4709	422.91M
ram_blowup_regression	1.58G
private-kernel-tail	201.61M
private-kernel-reset	716.87M
private-kernel-inner	291.68M
parity-root	171.93M

[github-actions]

Execution Sample

Program	Execution Time	%
sha256_regression	0.636s	3%
regression_4709	0.394s	3%
ram_blowup_regression	4.523s	2%
rollup-base-public	21.542s	2%
rollup-base-private	19.540s	0%
private-kernel-tail	0.707s	0%
private-kernel-reset	1.490s	1%
private-kernel-inner	0.990s	0%
parity-root	0.535s	0%

[github-actions]

Compilation Sample

Program	Compilation Time	%
sha256_regression	1.407s	6%
regression_4709	0.786s	1%
ram_blowup_regression	16.525s	8%
rollup-base-public	126.256s	12%
rollup-base-private	100.447s	2%
private-kernel-tail	1.121s	8%
private-kernel-reset	7.615s	4%
private-kernel-inner	2.275s	4%
parity-root	0.797s	1%
noir-contracts	89.772s	4%