Skip to content

Incorrect span for mismatched type error during FRU #628

Closed
@brson

Description

@brson

In the following example, foo is bool when it's expected to be int.

auto a = rec(foo = 0);
auto b = rec(foo = true with a);

The mismatched type error spans the entire rec being assigned to variable b, instead of just the incorrect expression, 'true'. For errors that occur in large records this can get pretty confusing.

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-type-systemArea: Type systemE-easyCall for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions