feat(forge-lint): new LateLintPass + support code snippets

[0xrusowsky]

TODO:

• release solar + foundry compilers --> remove patches

Motivation

Boost forge-lint capabilities by adding 2 new features:

• Late lint passes with HIR support for complex lints where the AST falls short
• Code snippet support (diffs or code blocks) to make dynamic proposals based on the user code.
  • ref: feat(forge-lint): support code examples #10844

Implementation

Linter Architecture

Updated the architecture to a dual-pass system:

• Early lint passes (AST-based) for syntax-level checks
• Late lint passes (HIR-based) for semantic analysis after type resolution

Relevant changes:

• Added trait LateLintPass and implemented a LateLintVisitor that traverses the HIR + runs late lint passes.
• Updated the trait Linter to support both early (AST) and late (HIR) linting phases.
• Added a new input to the lint helper macros which can be either early or late.

Code Snippet Support

• Introduced enum Snippet to represent code suggestions:

pub enum Snippet {
    /// Represents a code block. Can have an optional description.
    Block { desc: Option<&'static str>, code: String },
    /// Represents a code diff.
    /// Includes an optional description, the code to remove, and a replacement proposal.
    Diff { desc: Option<&'static str>, rmv: String, add: String },
}

• Added fn emit_with_fix() method to LintContext to emit diagnostics with (formatted) snippets

[zerosnacks]

lgtm! Pending review from @DaniPopes / @grandizzy

[grandizzy]

lgtm! pending @DaniPopes review, this should also unblock #10980

[DaniPopes]

can we move these to early.rs and late.rs

[DaniPopes]

no vec! needed

[DaniPopes]

lgtm

[grandizzy]

🚀