Skip to content

Improve Expected Pattern in Tests #198

Open
Open
Improve Expected Pattern in Tests#198
Labels
testsRelated to tests
@rcosta358

Description

@rcosta358
rcosta358
opened on Mar 28, 2026

Improve expected pattern to have e.g. // Expect: Refinement Error or similar instead of just Refinement Error.

Metadata

Metadata

Assignees

No one assigned

    Labels

    testsRelated to tests

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions